The order topology on a totally ordered set 
is the topology 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.
