Du musst drei Eigenschaften prüfen
reflexiv: Für alle (a,b) aus ZxN0 gilt (a,b) ~ (a,b)
dazu prüfen: ab = ab . Also wahr.
entsprechend:
symmetrisch: (a,b), (c,d) aus ZxN0 gilt (a,b)~ (c,d) ==> (c,d) ~(a,b) ................
und transitiv : ....................