Definition: Euclidean Function

A Euclidean function on an integral domain is a function such that for each , where , there exist with and either or .