Quasi-compact scheme
= Quasi-compact scheme
A scheme is quasi-compact when its underlying <topological space> is <quasi-compact>: every <open cover> has a finite subcover. Since <affine open subsets> form a base, this is equivalent to possessing a finite <affine open cover>. Every <affine scheme> is quasi-compact.