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.