Set is Subset of Itself

Theorem
Every set is a subset of itself.

$$\forall S: S \subseteq S$$

Proof
$$x \in S \Longrightarrow x \in S$$ Law of Identity: A statement implies itself.

$$\Longrightarrow S \subseteq S$$ Definition of subset