Application

Etant donné deux ensembles et et une relation de vers on dit que est une application de vers si pour tout élément de possède une image unique dans

Bijection

Une application de vers est bijective si elle est à la fois injective et surjective.

Injection

Une application de vers est injective si tout élément de l'ensemble d'arrivée possède au plus un antécédent dans

Surjection

Une application de vers est surjective si tout élément de l'ensemble d'arrivée possède au moins un antécédent dans