Unique Factorization Domain

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An integral domain in which every nonzero nonunit element factors into irreducible elements and this factorization is unique up to order and multiplication by units; commonly abbreviated UFD.