La siguiente definición singulariza a los dominios que tienen la propiedad de factorización única, tales como los Enteros y los anillos de polinomios sobre cuerpos.