Axiom of power set
= Axiom of power set
{wiki=Axiom_of_power_set}
The Axiom of Power Set is one of the axioms in set theory, specifically within the Zermelo-Fraenkel set theory (ZF), which is a foundational system for much of modern mathematics. The axiom states that for any set \\( A \\), there exists a set \\( P(A) \\), called the power set of \\( A \\), which contains all the subsets of \\( A \\).