for f being Function
for a, b, c being object st a <> c holds
(f +* (a .--> b)) . c = f . c