Set is Element of its Power Set

Theorem
A set is an element of its power set:


 * $S \in \mathcal P \left({S}\right)$