数値的同値

曲面 $X$ の因子 $D$ が数値的に $0$ であるとは、すべての因子 $E$ について $D.E = 0$ であることをいい、$D \equiv 0$ と書く。数値的に $0$ である因子類のなす $\operatorname{Pic} X$ の部分群による商を $\operatorname{Num} X$ と書く。交点形式は $\operatorname{Num} X$ の上の非退化な対称双線形形式を定める。