Sejam X e Y dois conjuntos finitos com X ⊂ Y e X ≠ 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)