MathItems

Definition D18

Let AA and BB be two sets and let ff be a mapping of AA into BB.

ff is a 1-1 mapping of AA into BB provided that f(x1)f(x2)f(x_1)\neq f(x_2) whenever x1x2x_1\neq x_2, x1Ax_1\in A, x2Ax_2\in A.