Une application F qui va de E vers F est dite :
• Injective si et seulement si  ( x, x’) appartenant à E2, f(x) = f(x’) => x = x’
• Surjectivité si et seulement si y appartenant à F, il existe x appartenant à E, y = f(x)
• Bijective si et seulement si F est injective et surjective c’est-à-dire y appartenant à F, ! X appartenant à E, Y = f(x)