Seja um subconjunto de . Se e o número de elementos de é , tem-se que o número de elementos de