Le document présente des concepts fondamentaux d'applications en mathématiques, y compris les définitions, images directes et réciproques, ainsi que les propriétés des injections, surjections et bijections. Des exemples illustrent comment prouver des propriétés de fonctions et comment manipuler des ensembles à travers des applications. Des théorèmes concernant les comportements des applications sont également énoncés et démontrés.