Un anello euclideo , o dominio euclideo, č un dominio A tale che
esiste una funzione
con le seguenti proprietā: