Application (mathématiques)/Post-notions