injection

application injective

ANALYSE

C’est une application f de E vers F telle que pour tout couple (a,b) de ExE, a différent de b, f(a)est distinct de f(b).