Power Set Exists and is Unique

Theorem
Let $V$ be a basic universe.

Let $x \in V$ be a set.

Let $\powerset x$ denote the power set of $x$.

Then $\powerset x$ is guaranteed to exist and is unique.