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 |