Let X be a topological space and let Y be a simply ordered set in the order topology. Let be two continuous functions.
Show that the set is closed in X.
Since f is continuous, for every open set , is an open subset of X. Similar, for every open set , .
How do I go from this to showing what needs to be shown?