Cualquier dominio de ideales principales es también un dominio de factorización única, pero no al revés; esto es, que un dominio entero sea DFU es una condición necesaria para que sea un DIP.