One to one functions (or injections)

A function f mapping the set A to the set B is said to be one to one, or an injection, if and only if (x,y) is in f and (z,y) is in f, implies that x=z.