in a (up to reordering of factors) unique way. Here, an element in a domain is called irreducible if the only way of expressing it as a product

is by either or being a unit. An example, important in field theory, are irreducible polynomials, i.e., irreducible elements in , for a field . The fact that is a UFD can be stated more elementarily by saying that any natural number