topological space in which from every countable open cover of the space, a finite cover can be extracted