Quasi-compact topological space (source code)

= Quasi-compact topological space
{wiki=Quasi-compact_space}

= Quasi-compact
{synonym}

A topological space is quasi-compact when every <open cover> has a finite subcover. This is the form of compactness used for spaces that need not be Hausdorff, especially spectra and schemes.