Definition: for every finitely generated $R$-algebra $S$, the singular points of $Spec(S)$ form a closed subset.
(No citations retrieved.)