Separation and countability

Urysohn lemma

Topology · Theoretical / proof-based

Graduate Topology — scope drawn from Bradley–Bryson–Terilla Topology (MIT Press open chapters) and typical graduate point-set / algebraic topology intro syllabi.