Assertion: open interval | /r/HasProperty | base
Facets:
value: for the standard real topology
type: OTHER
Source sentences:
text: For example, the open intervals with rational endpoints are also a base for the standard real topology, as are the open intervals with irrational endpoints, but these two sets are completely disjoint and both properly contained in the base of all open intervals.