Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:topology totally ordered set |
| gptkbp:cardinality |
continuum
|
| gptkbp:dimensions |
1
|
| gptkbp:has_subset |
rational numbers
integers natural numbers irrational numbers |
| gptkbp:heldBy |
gptkb:Lindelöf_space
gptkb:topology gptkb:Polish_space gptkb:Baire_space gptkb:Tychonoff_space Hausdorff space complete metric space separable space connected space locally compact space second-countable space Lebesgue measurable homogeneous space paracompact space simply connected real closed field normal space measurable space order-complete basis for calculus basis for real analysis basis for topology path-connected standard Borel space Archimedean ordered field Dedekind-complete basis for measure theory basis for probability theory basis for real algebraic geometry field under addition and multiplication one-dimensional Euclidean space perfect space set of all real numbers standard measure space unbounded above and below vector space over itself |
| https://www.w3.org/2000/01/rdf-schema#label |
the real line
|
| gptkbp:symbol |
ℝ
|
| gptkbp:type |
dense linear order without endpoints
|
| gptkbp:bfsParent |
gptkb:Cantor_space
|
| gptkbp:bfsLayer |
8
|