for a1, a2, a3, b1, b2, b3 being object st a1,a2,a3 are_mutually_distinct holds
rng ((a1,a2,a3) --> (b1,b2,b3)) = {b1,b2,b3}