Material set theory

Powerset Axiom

The Powerset Axiom is a possible axiom of Material set theory asserting the existence of the powerset: #m/def/set/zf

where denotes subset, which is to say, for any set there exists a set of all its subsets , which by the Axiom of Extensionality is unique and we denote and call the powerset.

#state/tidy | #lang/en | #SemBr