:: deftheorem defines tolerates PARTFUN1:def 4 :
for f, g being Function holds
( f tolerates g iff for x being object st x in (dom f) /\ (dom g) holds
f . x = g . x );