show/hide this revision's text 2 added 27 characters in body

I like the proof from Alexander's subbase lemma. E.g. A proof here. That lemma also gives the compactness criterion in ordered spaces as well(completeness implies compactness).

show/hide this revision's text 1

I like the proof from Alexander's subbase lemma. E.g. A proof here. That lemma also gives the compactness criterion in ordered spaces as well.