theorem Th51: :: PARTFUN1:51

for f, g being Function holds
( f tolerates g iff f \/ g is Function ) by Th1, Th2;