Set is Element of its Power Set

Theorem
A set is an element of its power set:


 * $S \in \powerset S$

Also see

 * Empty Set is Element of Power Set