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: