Hallo,
Du hast die richtigen Gedanken. Ich würde mit der Formulierung noch genauer auf die Formalitäten der Aufgabenstellung eingehen. Also etwa:
Reflexivität: Für alle (a,b)∈M gilt: a≤a und b≤b also ((a,b),(a,b))∈S
Antisymmetrie: Wenn ((a,b),(c,d))∈S und ((c,d),(a,b))∈S; dann folgt:
a≤c und c≤a⇒a=c
b≤d und d≤b⇒b=d
Also folgt: (a,b)=(c,d).
...
Für die letzte Frage: Es gilt ((1,2),(2,1))∈/S und ((2,1),(1,2))∈/S
Gruß Mathhilf