or Euclidean ring, n. an integral domain in which the division algorithm holds by reason of the existence of a gauge or valuation function. A Euclidean domain is a principal ideal domain, and the polynomials over any field are a Euclidean domain with the gauge being the degree of the polynomial. See Gaussian domain.