for a, b, c, d being set st a <> b holds
((a,b) --> (c,d)) * ((a,b) --> (b,a)) = (a,b) --> (d,c)