Definition: A domain in which every nonzero nonunit is a product of irreducible elements, unique up to equivalence
(No citations retrieved.)