Une fonction f de E vers F, elle est injective si F ( tout l'élément de F ) possède un antécédent de E au plus.
Une fonction f de E vers F, elle est surjective si F ( tout l'élément ) possède un antécédent de E au moins.
Une fonction f de E vers F, elle est bijective si F ( tout l'élément ) possède un antécédent de E exact. On va dire la bijectivité, ça veut dire que f est injective et surjective.