is the set of all real numbers. For any , we define and . As an order topology, and are base open sets and any open set in is the finite intersections of the base open sets.
To show that inclusion map is continuous, we need to prove that ...
This provides an example of proving the continuity of an inclusion map.