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
▼
Set of euclidean basic numbers
Definition D4518
Set of numbers
Formulation 0
Let $J$ be a
D11: Set
.
The
set of numbers
with respect to $J$ is the
D11: Set
\begin{equation} [-\infty, \infty]^J = \prod_{j \in J} [-\infty, \infty] \end{equation}