Normal variety
= Normal variety
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>.