∅ é elemento de ℘(A), se, e somente se for elemento também de A.

∅ é elemento de ℘(A), qualquer que seja o conjunto A.

{∅} é elemento de ℘(A, ) se, e somente se, for elemento também do conjunto !$ A !$.

{∅} jamais pode ser elemento de ℘(A), pois A é assumido como conjunto finito.

Se A ≠ ∅, então {∅} é elemento de ℘(A)