Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
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
Definition D4517
Set of euclidean basic numbers
Formulation 0
Let
[
−
∞
,
∞
]
be the
D1275: Set of basic numbers
.
The
set of euclidean numbers
with respect to
N
∈
{
1
,
2
,
3
,
…
}
is the
D11: Set
[
−
∞
,
∞
]
N
=
N
∏
n
=
1
[
−
∞
,
∞
]
Children
▶
D4518: Set of numbers