An integral domain is said to be a Euclidean ring if for every in there is defined a non-negative integer, to be denoted by , such that:
(i) For all , both non-zero, ,
(ii) For any , both non-zero, there exist such that when either or .
Note: The set of integers depends on the property of division algorithm. This property is also known as the Euclidean algorithm, which is used to find the greatest common divisors. This property is mostly satisfied for rings, and as such we can say that such type of rings are called Euclidean rings.