Compact Space

- Mathematics & Logic -
Pure Mathematics Dictionary
A topological space in which every open cover has a finite subcover: for every collection of open sets whose union contains the space, finitely many of them already cover the space.