for f, g being Function holds
( g is f -tolerating iff for x being object st x in dom f & x in dom g holds
f . x = g . x )