Every nonempty open set in the given topology contains . Suppose a continuous map took distinct values and . Choose disjoint open intervals containing these respective values. By continuity, and are nonempty open sets in , and therefore both contain . This is impossible because the inverse images of disjoint sets are disjoint. Thus every such continuous map is constant. Conversely, constant maps are continuous. This is the continuous real maps from the initial-segment topology argument, using the Hausdorff separation of distinct real points.