Sejam X e Y dois conjuntos finitos com X ⊂ Y e X
<style type="text/css"><!--td {border: 1px solid #cccccc;}br {mso-data-placement:same-cell;}-->
</style>
≠ Y . Considere as seguintes afirmações:
I. Existe uma bijeção f : X → Y .
II. Existe uma função injetora g : Y → X.
III. O número de funções injetoras f : X → Y é igual ao número de funções sobrejetoras g : Y → X.
É (são) verdadeira(s)