for i, j being natural Number
for x being object holds (i + j) |-> x = (i |-> x) ^ (j |-> x)