Für die Reflexivität musst Du in der Definition der Relation \((c,d)\) durch \((a,b)\) ersetzen. Wegen \(a+b=a+b\) ist sie also reflexiv.
Symmetrie: Seien \((a,b),(c,d)\in\mathbb{N}\times\mathbb{N}\) mit \((a,b)\sim(c,d)\) gegeben. Dann gilt ... und daraus folgt \((c,d)\sim(a,b)\). Ergänze die ausgelassenen Schritte.
Versuche jetzt die Transitivität zu zeigen.
Allgemein solltest Du Dir die Beweise und Beispiele im Skript ansehen und imitieren.
Lehrer/Professor, Punkte: 4K