ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Binary endorelation
▼ Preordering relation
▼ Partial ordering relation
▼ Ordering relation
▼ Ordered set
▼ Dedekind cut
▼ Set of real numbers
▼ Set of basic numbers
Definition D4517
Set of euclidean basic numbers
Formulation 0
Let $[-\infty, \infty]$ be the D1275: Set of basic numbers.
The set of euclidean numbers with respect to $N \in \{ 1, 2, 3, \ldots \}$ is the D11: Set \begin{equation} [-\infty, \infty]^N = \prod_{n = 1}^N [-\infty, \infty] \end{equation}
Children
▶ D4518: Set of numbers