Seien A = B = reelle Zahlen.
Betrachten Sie die Relation ≡₅ auf A x B gegeben durch a ≡₅ b : ⇔ a – b ist durch 5 teilbar.
Wie fange ich das an?
Es gibt natürliche Zahlen x, y uns r sodass
a=5x+r
b=5y+r
Dann ist a-b=5(x-y), also durch 5 teilbar