Sejam !$ X !$ e !$ Y !$ dois conjuntos finitos com !$ X \subset Y !$ e !$ X \ne Y !$ . Considere as seguintes afirmações:
I. Existe uma bijeção !$ f:X \rightarrow Y !$.
II. Existe uma função injetora !$ g:Y \rightarrow X !$.
III. O número de funções injetoras !$ f: X \rightarrow Y !$ é igual ao número de funções sobrejetoras !$ g: Y \rightarrow X !$.
É (são) verdadeira(s)
