# Property: atomic domain

Definition: A domain in which nonzero nonunits can be written as a finite product of irreducible elements.