axiom of power set

== English == === Proper noun === axiom of power set (set theory) The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC. 2012, A. H. Lightstone, H. B. Enderton (editor), Mathematical Logic: An Introduction to Model Theory, Plenum Press, Softcover, page 292, The Axiom of Power Set asserts that the collection of all subsets of a set is a set. […] Adding the Axiom of Power Set compels the collection { ∅ } {\displaystyle \{\emptyset \}} to be a set. ==== Synonyms ==== (axiom of set theory): power set axiom ==== Translations ==== === Further reading === Zermelo–Fraenkel set theory on Wikipedia.Wikipedia