A topology defined on a totally ordered set 
whose open sets are all the finite intersections
of subsets of the form 
or 
, where 
.
The order topology of the real line is the Euclidean topology. The order topology of 
is the discrete topology,
since for all 
,
 |
is an open set.
