ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Deduction system
Zermelo-Fraenkel set theory
Binary cartesian set product
Binary relation
Binary endorelation
Preordering relation
Partial ordering relation
Partially ordered set
Closed interval
Closed real interval
Closed real unit interval
Definition D4978
Basic rational closed unit interval
Formulation 0
Let $P = (\mathbb{Q}, {\leq})$ be the D1100: Ordered set of rational numbers.
The basic rational closed unit interval is the D11: Set \begin{equation} [0, 1] : = \{ q \in \mathbb{Q} : 0 \leq q \leq 1 \} \end{equation}