Get Axiom of Power Set essential facts below. View Videos or join the Axiom of Power Set discussion. Add Axiom of Power Set to your PopFlock.com topic list for future reference or share this resource on social media.
More succinctly: for every set , there is a set consisting precisely of the subsets of .
Note the subset relation is not used in the formal definition as subset is not a primitive relation in formal set theory; rather, subset is defined in terms of set membership, . By the axiom of extensionality, the set is unique.
The axiom of power set appears in most axiomatizations of set theory. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.
The Power Set Axiom allows a simple definition of the Cartesian product of two sets and :