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