theorem :: PARTFUN1:56

for f, g being Function st dom f misses dom g holds
f tolerates g ;