theorem Th2: :: GLIB_004:2

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