:: deftheorem defines -tolerating AOFA_L00:def 1 :
for f, g being Function holds
( g is f -tolerating iff f tolerates g );