Topology Database
Login
spaces
axioms
theorems
search
space table
Countably Compact
Description: Every countable open cover of the space has a finite subcover.