Ένα προς ένα

Μία απεικόνιση $f:A \rightarrow B$ μεταξύ δύο συνόλων A,B καλείται ένα προς ένα (1-1), αν ισχύει ότι : αν $f(x)= f(y)$ τότε είναι $x=y$, για κάθε x,y στο Α. Ένας ισοδύναμος ορισμός είναι ο εξής : Αν $x\neq y$ τότε $f(x) \neq f(y)$, για κάθε x,y στο Α.