for a, b, c being object holds (a,a) --> (b,c) = a .--> c