Singleton of Element is Subset

Theorem
Let $S$ be a set.

Let $\left\{{x}\right\}$ be the singleton of $x$.

Then:
 * $x \in S \iff \left\{{x}\right\} \subseteq S$