Dadas as sentenças:

1. Sejam $f:x\to Y$ e $g:Y\to X$ duas funções satisfazendo $(g\circ f)(x)=x$, para todo $x\in X$. Então $f$ é injetiva, mas $g$ não é necessariamente sobrejetiva.

2. Seja $f:x\to Y$ uma função injetiva. Então, $f(A)\cap f(B)=f(A\cap B)$, onde $A$ e $B$ são dois subconjuntos de $X$.

3. Seja $f:x\to Y$ uma função injetiva. Então, para cada subconjunto $A$ de $X$, $f(A^C)\subset (f(A){)}^C$ onde $A^C=\{x\in X/x\notin A\}$ e $(f(A){)}^C=\{x\in Y/x\notin f(A)\}$ podemos afirmar que está (estão) correta(s):