Bei Z^2 kannst du ganz ruhig bleiben, das ist die Menge aller Paare (a;b) ,
bei denen a und b ganze Zahlen sind.
Und in der Relation sind die, bei denen die Differenz a-b gerade ist,
also etwa (3;5) oder (7;1) oder (6;4) oder ... aber z.B. NICHT ( 5;2) .
Und beweisen musst du
1. reflexiv: Also jedes Paar ( a;a) gehört zu der Rel. Idee ?
2. symmetrisch: Wenn (a,b) ∈ R dann auch ( b;a) ∈ R
3. transitiv Was heißt das hier ?