Quasi-compact morphism
= Quasi-compact morphism
A <morphism of schemes> is quasi-compact if the inverse image of every <quasi-compact> <open subset> is <quasi-compact>. It suffices to test <affine open subschemes> of the target. This is a relative condition: the source need not be a <quasi-compact scheme> when the target is not one.