Definition:Compact Space/Topology

Also defined as
A compact topological space is often additionally required to be Hausdorff. What is called a compact space here is then called a quasicompact space.

Also see

 * Equivalence of Definitions of Compact Topological Space


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