Es sei ${\displaystyle {}d\in \mathbb {N} }$ fixiert. Wir betrachten auf ${\displaystyle {}\mathbb {Z} }$ die Äquivalenzrelation ${\displaystyle {}\sim }$, bei der zwei Zahlen ${\displaystyle {}a,b\in \mathbb {Z} }$ als äquivalent betrachtet werden, wenn ihre Differenz ${\displaystyle {}a-b}$ ein Vielfaches von ${\displaystyle {}d}$ ist. Zwei Zahlen sind also zueinander äquivalent, wenn man von der einen Zahl zu der anderen durch Sprünge der Sprungweite ${\displaystyle {}d}$ gelangen kann. Unter Verwendung der Division mit Rest bedeutet dies, dass zwei Zahlen zueinander äquivalent sind, wenn sie bei Division durch ${\displaystyle {}d}$ den gleichen Rest ergeben.