Para demonstrar que , onde é o conjunto das partes de e é o número de elementos em , vamos considerar as propriedades dos conjuntos e as definições envolvidas.
O conjunto das partes de , denotado , é o conjunto de todos os subconjuntos de . Isso inclui o conjunto vazio e próprio, além de todos os possíveis subconjuntos de .
Se é um conjunto finito, então podemos representar o número de elementos de como , onde é algum número inteiro não negativo.
Cada elemento de tem duas opções para cada subconjunto: ou está no subconjunto ou não está.
Se o conjunto tem elementos, então, ao formar um subconjunto, para cada elemento, temos 2 possibilidades (incluir o elemento no subconjunto ou não incluir).
Cálculo do Número de Subconjuntos:
Consequentemente, o número total de subconjuntos (incluindo o conjunto vazio e próprio) é dada por:
Assim, , onde .
Portanto, demonstramos que para todo conjunto finito , o número de elementos no conjunto das partes é . Este resultado é consistente e universal para qualquer conjunto finito .