In mathematics, and more particularly in arithmetic, the usual process of division of integers producing a quotient and a remainder can be specified precisely by a theorem stating that these exist uniquely with given properties.
In mathematics, and more particularly in arithmetic, the Euclidean division is the usual process of division of integers producing a quotient and a remainder. It can be specified precisely by a theorem stating that these exist uniquely with given properties.