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
▼ 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}