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 integer that depends on the property of division algorithm. This property is also known as the Euclidean algorithm which is use to find the greatest common divisors. This property is mostly satisfies for rings and for that we can say that such type of rings are called the Euclidean Ring.