Talk:Compact Subspace of Linearly Ordered Space/Lemma 1

't Appears to me that the Nec and Suf have been mixed up. Suf means: to prove from the two conditions that the thing is compact. --Lord_Farin (talk) 22:31, 7 February 2013 (UTC)