A Euclidean domain is an integral domain on which a Euclidean valuation can be defined.

Every Euclidean domain is a principal ideal domain, and therefore also a unique factorization domain.

Any two elements of a Euclidean domain have a greatest common divisor, which can be computed using the Euclidean algorithm.

An example of a Euclidean domain is the ring . Another example is the polynomial ring , where is any field. Every field is also a Euclidean domain.