Definitions
,
Results
,
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
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}
Child definitions
»
D4518: Set of numbers