*定義 [#oc77bfe2]
-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.
*出典 [#nab8efab]
-EGA なり大抵のスキーム論の本には載ってるはずです
//手抜きでごめんなさい