Sejam A e B conjuntos finitos com cardinalidades |A| = n e |B| = 2, respectivamente, com n ∈ N e n > 2. Pelo Princípio Fundamental da Contagem, o número total de funções f: A — B que podem ser definidas é 2ⁿ. Considere S o conjunto de todas as funções f: A — B que são sobrejetoras. A cardinalidade do conjunto S é dada por: