Let $\mathbb{N}$ be the D225: Set of natural numbers.
The standard Hilbert cube is the D11: Set
\begin{equation}
\prod_{n \in \mathbb{N} + 1} [0, 1 / n]
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Map |
▼ | Cartesian product |
▼ | Hilbert cube |