 Minimal algebraic surface

A smooth projective surface is minimal when it contains no exceptional curve of the first kind.

Minimality here is the smooth-surface condition, rather than a claim about every higher-dimensional minimal model.