In mathematics, the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory.
In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:
where y is the Power set of x, . In English, this says:
More succinctly: for every set , there is a set consisting precisely of the subsets of .