Singleton Equality

Theorems
Let $x$ and $y$ be sets.

Then:


 * $\set x \subseteq \set y \iff x = y$
 * $\set x = \set y \iff x = y$

Proof
Then: