for f being Function
for x, y being object holds support (f +* (x .--> y)) c= (support f) \/ {x}