Definition: Division mit Rest

Sei und .
Dann existieren , sodass

Wir sprechen hierbei auch von Division mit Rest, wobei der Rest ist.