Legyenek $a$ és $b$ természetes számok. Ekkor felírhatók
$a=q \cdot b + r \qquad 0<r<b$
Ahol $q$ és $r$ is természetes számok és $q$ az osztás hányadosa, $r$ pedig a maradék.
Ha egy természetes számot osztunk egy másik nem nulla természetes számmal és az nincs meg benne egésszer, akkor maradék is lesz.