# Axiom:Axiom of Powers/Class Theory

## Axiom

Let $x$ be a set.

Then its power set $\powerset x$ is also a set.

## Also known as

The axiom of powers is also known as:

the axiom of the power set
the power set axiom

## Also see

• Results about Axiom of Powers can be found here.

## Sources

although there exists a misprint: it is referred to as the Power aet axiom.