 Euclidean domain

A Euclidean domain admits division with remainder measured by a decreasing Euclidean function.

A Euclidean domain is a type of integral domain (a non-zero commutative ring with no zero divisors) that satisfies a certain property similar to the division algorithm in the integers.