Die ganzzahlige Division und deren Rest ist definiert durch:
A = (AB)B + (A rem B),
(-A)B = -(AB) = A(-B).
Das Resultat der Modulo-Operation is so beschaffen, daß (A mod B) das Vorzeichen von B und einen Absolutbetrag kleiner als der Absolutbetrag von B hat. Zusätzlich gilt für eine (nicht näher bestimmte) ganze Zahl N:
A = BN + (A mod B)
Die Unterscheidung zwischen rem und mod scheint künstlich, man benötigt jedoch in manchen Anwendungen beide.