for a, b, c, x, y, z, w, d being object st x,y,w,z are_mutually_distinct holds
rng ((x,y,w,z) --> (a,b,c,d)) = {a,b,c,d}