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:
