 Normal scheme

An integral locally Noetherian scheme is normal when every local ring is an integrally closed domain.