Power Set is Nonempty

From ProofWiki
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$