Problem 8 (a) in Exercises after Sec. 18 in Munkres' Topology, 2nd ed.: How to show this set is closed?
Given a pair of continuous functions from a topological space to an ordered set, how to prove that this set is closed?