ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F3959 on D4518: Set of numbers
F3959
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}