Order topology
= Order topology
The topology generated by open intervals and open initial and final rays in a <total order>. For a dense order without endpoints, a subset is dense in this topology exactly when it meets every nonempty open interval.