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
▼ Partially ordered set
▼ Interval
▼ Set of intervals
▼ J-interval
▼ N-interval
▼ Real N-interval
Definition D3037
Set of euclidean real intervals
Formulation 0
Let $\mathbb{R}^N$ be a D5630: Set of euclidean real numbers.
Let $\mathcal{P}_{\text{interval}}(\mathbb{R})$ be the D2424: Set of real intervals.
The set of euclidean real intervals in $\mathbb{R}^N$ is the D11: Set \begin{equation} \left\{ \prod_{n = 1}^N I_n : I_1, I_2, \ldots, I_N \in \mathcal{P}_{\text{interval}}(\mathbb{R}) \right\} \end{equation}
Children
▶ D3757: Elementary euclidean real set