Definition
Ein euklidischer Bereich ist ein Integritätsbereich, versehen mit einer euklidischen Funktion (Wert in den nichtnegativen ganzen Zahlen), die einen Divisionsalgorithmus mit Quotient und Rest erlaubt, wobei der Rest eine streng kleinere Maßzahl hat.