Definition D18 Let AAA and BBB be two sets and let fff be a mapping of AAA into BBB. fff is a 1-1 mapping of AAA into BBB provided that f(x1)≠f(x2)f(x_1)\neq f(x_2)f(x1)=f(x2) whenever x1≠x2x_1\neq x_2x1=x2, x1∈Ax_1\in Ax1∈A, x2∈Ax_2\in Ax2∈A.