Funciones inyectivas, sobreyectivas y biyectivas

Función inyectiva

$$\forall x_1,x_2[x_1\ne x_2⟹f(x_1)\ne f(x_2)]$$

Función sobreyectiva

$$f:A\to B\equiv {\forall }_a\in B,{\exists }_x\in A[f(x)=a]$$

Función biyectiva