Topology MOC Locally compact space A topological space π is locally compact iff every π₯ βπ has a compact neighbourhood. topology develop | en | SemBr