Veremos que, en general, se cumple que dominios euclídeos son DIPS y que los DIPs son DFUs, lo que se ilustra en la figura siguiente.