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
Elementary euclidean real set