Let $X$ be a D11: Set.
The hyperpower set sequence of $X$ is the D62: Sequence
\begin{equation}
X, \quad
\mathcal{P}(X), \quad
\mathcal{P}(\mathcal{P}(X)), \quad
\mathcal{P}(\mathcal{P}(\mathcal{P}(X))), \quad
\ldots
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Subset |
▼ | Power set |
▶ | D4075: Hyperpower set |
▶ | D673: Von Neumann ordinal sequence |