Quasi-compact scheme

ID: 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.

New to topics? Read the docs here!