feebly compact space
topological space in which every locally finite family of open sets is finite
compact space
topological space in which from every open cover of the space, a finite cover can be extracted
countably compact space
topological space in which from every countable open cover of the space, a finite cover can be extracted