 A Euclidean domain is an integral domain on which is defined a Euclidean division similar to that of integers.Every Euclidean domain is a principal ideal domain, and thus a UFD.In a Euclidean domain, Euclidean division allows defining a Euclidean algorithm for computing greatest common divisors.