0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. Zermelo-Fraenkel set theory
5. Set
6. Binary cartesian set product
7. Binary relation
8. Binary endorelation
9. Preordering relation
10. Partial ordering relation
11. Ordering relation
12. Ordered set
13. Dedekind cut
14. Set of basic real numbers
Basic real number
<No formulations for this definition yet>
Child definitions
» D2137: Basic real golden ratio
Results
» R4261: Basic real binomial theorem for exponent two