Definition:Compact Space/Topology

Also see

 * Equivalence of Definitions of Compact Topological Space


 * Definition:Compact Topological Subspace
 * Definition:Hereditarily Compact Space