Compactness and connectedness

Heine–Borel

Introductory topology · Theoretical / proof-based

Undergraduate Introductory Topology — scope drawn from open topology notes (metric/topological spaces) and typical US intro topology syllabi.