Soll wohl heißen
Für zwei natürliche Zahlen \( x \) und \( y \) schreiben wir \( x \equiv_{2} y \) für die
Aussage " \( x-y \) ist durch 2 teilbar".
Das u und das n machen irgendwie keinen Sinn.
a) gilt für alle x ∈ℕ denn 0 ist durch 2 teilbar.
b) wenn x-y durch 2 teilbar ist, dann auch y-x
c) wenn x-y und y-z durch 2 teilbar sind, dann
auch deren Summe, also (x-y)+(y-z) = x-z, also \( x \equiv_{2} z \).