An integral domain
endowed with a function
is an Euclidean domain if the following two conditions hold
are called the quotient and the
may not be unique).
is called the Euclidean size.
Here are some classical examples.
Marc Moreno Maza