Property: J-2

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