Unique Factorization Domain
Def: A domain with unity us a UFD if every element in $ \mathbb{R} $ can be written uniquely as a product of a unit with a product of powers of irreducible elements. An element f $ \subseteq \mathbb{R} $ is irreducible if in any factorization f=gh with g,h $ \subseteq \mathbb{R} $ either g or h is a unit.
