Ein euklidischer Bereich (oder euklidischer Ring) ist ein Integritätsbereich R {\displaystyle R} , für den eine Abbildung δ : R − { 0 } → N {\displaystyle \ \delta :R-\{0\}\to {\mathbb {N} }} existiert, die die beiden folgenden Eigenschaften erfüllt: