Power Set is Nonempty
Jump to navigation
Jump to search
Theorem
Let $S$ be a set.
Then:
- $\powerset S \ne \O$
Proof
By Empty Set is Element of Power Set:
- $\O \in \powerset S$
Thus we conclude that $\powerset S$ is non-empty.
$\blacksquare$