Assertion: real number | /r/CapableOf | carry an order topology
Facets:
Source sentences:
text: First, since the real numbers are totally ordered, they carry an order topology.