*** Welcome to piglix ***

Axiom of power set


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 .


...
Wikipedia

...