Singleton of Element is Subset

Theorem
Let $S$ be a set.

Let $\set x$ be the singleton of $x$.

Then:
 * $x \in S \iff \set x \subseteq S$