» 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
» Ordering relation
» Ordered set
» Dedekind cut
» 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