Ce fichier définit la notion mathématique de fonction, d'application, d'injection, de surjection, de bijection et d'application réciproque