User:Dfeuer/Definition:Power Set
Jump to navigation
Jump to search
Definition
Let $a$ be a set.
Then $\mathcal P(a)$ is defined as the class of all sets $x$ such that $x \subseteq a$.
This class exists by the axiom schema of separation and is unique by the axiom of extensionality.