for z, y being object
for x being set holds dom ((x --> y) +* (x .--> z)) = succ x