...reflexiv und symmetrisch ist offensichtlich. Transitiv (c,d)~(e,f)==> c+f=d+e (a,b)~(c,d)==> a+d=b+c c=d+e-f a+d=b+d+e-f a=b+e-f a+f=b+e ==> (a,b)~(e,f)
