Zunächst:
Die Relation gilt ja in Menge A = {a,b,c,d), also AxA:
(a,a) (b,a) (c,a) (d,a)
(a,b) (b,b) (c,b) (d,b)
(a,c) (b,c) (c,c) (d,c)
(a,d) (b,d) (c,d) (d,d)
Wenn die Relation durch a+d=b+c gilt, dann müssten sich die Paare (a,d), (b,c) als erste Klasse ergeben. Da a+d = d+a ist, gehört das Paar (d,a) dieser Klasse genau so an wie (c,b).
Da ich aber nur 4*4 Elemente habe und alleine 4 davon in einer Klasse sind, können doch nur noch 4*3 Elemente übrig bleiben. Also 12 + eine Klasse sind 13?
Vielleicht würdest du mir deine konkrete Lösung nennen?