Definition:Compact Space

Also see

 * Definition:Finite Intersection Property