Axiom of the Power Set

One of the Zermelo-Fraenkel axioms which asserts the existence for any set  of the power set  consisting of all the subsets of . The axiom may be stated symbolically as

(Enderton 1977). Note that the version given by Itô (1986, p. 147),

is confusing, and possibly incorrect.

REFERENCES

Enderton, H. B. Elements of Set Theory. New York: Academic Press, 1977.

Itô, K. (Ed.). "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press, pp. 146-148, 1986.