theorem Th52: :: PARTFUN1:52

for f, g being Function holds
( f tolerates g iff ex h being Function st
( f c= h & g c= h ) )