Minimal algebraic surface (source code)

= 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.