A Euclidean domain is an integral domain with a function satisfying the following:
(1) for all nonzero in .
(2) for all , , such that , with either or .
(d is known as the Euclidean function)
On the other hand, a Principal ideal domain (PID) is an integral domain in which every ideal is principal (can be generated by a single element).