Axiom of power set
In mathematics, the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set x {\displaystyle x} the existence of a set P ( x ) {\displaystyle {\mathcal {P}}(x)} , the power set of x {\displaystyle x} , consisting precisely of the subsets of x {\displaystyle x} .