Ok so it appears there’s a million notions of “Compactness”: - Compact - σ-compact - Locally Compact - Relatively Compact - Sequentially Compact - Precompact - Totally Bounded - Lindëlof Space