# Subset of Empty Set iff Empty

 It has been suggested that this page or section be merged into Subset of Empty Set. (Discuss)

## Theorem

Let $S$ be a set.

Let $\O$ denote the empty set.

Then $S \subseteq \O$ if and only if $S = \O$.

## Proof

Suppose $x \in S$.

Then since $S \subseteq \O$, it follows that $x \in \O$.

Hence $x \notin S$.

That is, $S = \O$.

$\blacksquare$