Property: Euclidean domain

Definition: A domain which has a Euclidean valuation