A Euclidean domain is an integral domain which can be endowed with at least one Euclidean function. A particular Euclidean function is not part of the definition of a Euclidean domain, as, in general, a Euclidean domain may admit many different Euclidean functions.
