Kleiman's criterion
= Kleiman's criterion
{c}
For a <projective scheme>, a divisor class is in the <ample cone> exactly when it is strictly positive on every nonzero element of the <closed cone of curves>. Equivalently, the ample cone is the interior of the <nef cone>. The projectivity assumption matters: the same characterization is not asserted here for arbitrary proper schemes.