Uniquely Euclidean domain

Symbol-free definition
An integral domain is termed uniquely Euclidean if it admits a uniquely Euclidean norm.

Weaker properties

 * Euclidean domain