 Smooth algebraic surface

A smooth algebraic surface is a two-dimensional smooth variety. Its local rings are regular, and its integral curves define Cartier divisors.