Axiom of power set

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (May 2020) (Learn how and when to remove this message)

In mathematics, the axiom of power set^[1] is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set ${\displaystyle x}$ the existence of a set ${\displaystyle {\mathcal {P}}(x)}$, the power set of ${\displaystyle x}$, consisting precisely of the subsets of ${\displaystyle x}$. By the axiom of extensionality, the set ${\displaystyle {\mathcal {P}}(x)}$ is unique.

The axiom of power set appears in most axiomatizations of set theory. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.