Let $X$ be a D11: Set.
A D11: Set $E$ is a hypersubset of $X$ with respect to $N \in \{ 0, 1, 2, \ldots \}$ if and only if
\begin{equation}
E \in \mathcal{P}^N (X)
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Subset |
▼ | Power set |
▼ | Hyperpower set sequence |
▼ | Hyperpower set |
▶ | D3367: Subset algebra |