A ring $R$ is a Euclidean domain if there exists a norm $N$ on $R$ such that for all nonzero $a,b\in R$, there exist $q,r\in R$ such that $a = qb+r$ and either $r=0$ or $N(r) < N(b)$.
Wikidata ID: Q867345