Sejam $A$ e $B$ subconjuntos não vazios de $R$ e $f:A\to B,g:B\to A$ duas funçóes tais que $f\circ g=I_B$, onde $I_B$ é a função identidade em B. Então podemos afirmar que: