quasi-compact(map)

定義

• A morphism f:X→Y (of schemes) is called quasi-compact if f^{-1}(U) is quasi-compact for any affine open subscheme U of Y.
• Equivalently, f is quasi-compact if f^{-1}(U) is quasi-compact for any quasi-compact open subscheme U of Y.

出典

• EGA なり大抵のスキーム論の本には載ってるはずです