The closed subset of points where an algebraic variety is not smooth. Over a perfect field it is equivalently the locus whose local rings are not regular local rings. A normal variety has no singular points in codimension zero or one.
New to topics? Read the docs here!