Definition: Euclidean Domain A Euclidean domain is an integral domain equipped with a Euclidean function.