A topological space for which every collection of open sets that covers the space has a finite subset that also covers the space.
See also: → compact; → space.
