Representando-se por o número de elementos de um conjunto , considere dois conjuntos e tais que , e . Podemos afirmar que é igual a: