Geh einfach die Definitionen durch, ich bin zwar kein Profi, hätte aber folgendes gesagt: a) Damit ~ reflexiv ist, muss n~n gelten für alle n, also muss n-n=0 in T sein, also muss schonmal 0€T sein b) Damit ~ symmetrisch ist, muss n~m und m~n für alle n und m gelten, also muss n-m€T und m-n€T sein. Also muss es zu jedem Element a aus T auch ein Element -a geben, was auch in T liegt c) Damit ~ transitiv ist, muss n~m, m~o => n~o gelten, also wenn n-m€T und m-o€T, dann muss n-o€T folgen. Da weiss ich gerade selbst nicht so recht, vielleicht fällt dir ja was dazu ein?