Definition:Compact Space

Also see

 * Definition:Compact Convergence