Noetherian normal domain

Definition
A Noetherian normal domain is an integral domain which is both normal and Noetherian.