Lemma 28.2.6. Let X be a scheme. A subset E of X is retrocompact in X if and only if E \cap U is quasi-compact for every affine open U of X.
Proof. Immediate from the fact that every quasi-compact open of X is a finite union of affine opens. \square
Comments (2)
Comment #3196 by Dennis Keeler on
Comment #3301 by Johan on