Compact subsets of the upper-ray topology

ID: compact-subsets-of-the-upper-ray-topology

For the topology consisting of the empty set, the whole real line, and upper open rays, a nonempty subset is compact exactly when it has a smallest element. An open set containing the smallest element contains the entire subset. Conversely, if there is no smallest element, the rays indexed by points of the subset cover it, but any finite selection misses its smallest chosen endpoint.

New to topics? Read the docs here!