Separated Subsets of Linearly Ordered Set under Order Topology/Lemma