Un dominio euclídeo es un par formula_1 donde formula_2 es un dominio de integridad y formula_3 es una aplicación formula_4 que cumple las siguientes dos condiciones: