BETA ZEN
Axiom of power set
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
In mathematics, the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set the existence of a set , the power set of , consisting precisely of the subsets of . By the axiom of extensionality, the set is unique.