Es sei (N,0,S) ein Tripel natürlicher Zahlen. Wir definieren auf N × N die folgende Relation ∇:
∀(x1,y1),(x2,y2)∈N×N: (x1,y1)∇(x2,y2) ⇔ x1 +y2 =x2 +y1.
Zeigen Sie:
(a) ∇ ist eine Äquivalenzrelation auf N × N.
(b) Für jedes y∈N ist die Abbildung ιy:N→N×N/∇,x |→[(x,y)]∇ injektiv.
Könnte mir vielleicht jemand dabei helfen, ich verstehe das nicht wirklich? Vorab schonmal vielen Dank