Power Set of Doubleton

Theorem
Let $x, y$ be distinct objects.

Then the power set of the doubleton $\set {x, y}$ is:
 * $\powerset {\set {x, y}} = \big \{ \O, \set x, \set y, \set {x,y} \big \}$