An algebraic variety whose local rings are integrally closed domains. In particular an irreducible variety that is a normal variety has normal affine coordinate rings, enabling codimension-two extension of regular functions on a normal variety.
New to topics? Read the docs here!