countably compact space
topological space in which from every countable open cover of the space, a finite cover can be extracted
first uncountable ordinal
smallest ordinal number that, considered as a set, is uncountable
compact space
topological space in which from every open cover of the space, a finite cover can be extracted