Smooth morphism
In algebraic geometry, a morphism between schemes is said to be smooth if
(iii) means that each geometric fiber of f is a nonsingular variety (if it is separated). Thus, intuitively speaking, a smooth morphism gives a flat family of nonsingular varieties.