普遍閉・固有射

$f\colon X \to Y$ をスキームの射とする。

1. $f$ が閉であるとは、$X$ の閉集合の像がいつも $Y$ の閉集合であることをいう。任意の射 $Y' \to Y$ について底変換 $X \times_Y Y' \to Y'$ が閉であるとき、$f$ は普遍閉であるという。
2. $f$ が分離的・有限型・普遍閉であるとき、$f$ は固有である（$X$ は $Y$ 上固有である）という。