Axiom of Power Set

Last updated Nov 1, 2022

# Axiom

$$\forall a \exists B \forall x (x \in B \Leftrightarrow x \subset a)$$ This Axiom is stating the existence of the Power Set of any Set that already exists.

• Subset Relation