Dois conjuntos A e B, ambos não vazios e com número finito d...
Dois conjuntos A e B, ambos não vazios e com número finito de elementos, são, respectivamente, o domínio e o contradomínio de uma função injetora f : A B. Nestas condições, pode-se afirmar que: