ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12242 on D5464: Hyperpower set sequence
F12242
Formulation 2
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}