Compact Space

Quasicompact Space

Topological space in which from every open cover of the space, a finite cover can be extracted.