reflexiv:
Jedes Paar (a,a) ist in Mn. Das stimmt; denn a-a=0 und es gibt ein c∈ℤ
mit c*n=0 nämlich c=0.
symmetrisch: Wenn (a,b)∈Mn, dann auch (b,a). Stimmt auch; denn wenn
b-a=c*n dann a-b=(-c)*n und mit c∈ℤ gilt auch -c∈ℤ.
transitiv: Wenn (a,b)∈Mn und (b,c)∈Mn, dann auch (a,c)∈Mn,
Stimmt auch, denn
b-a=c1*n und c-b=c2*n
==> c-a= c-b+b-a = c1*n + c2*n = (c1+c2)*n.
Also Äquivalenzrel.