:: deftheorem defines tolerates GLIB_014:def 22 :
for G1, G2 being _Graph holds
( G1 tolerates G2 iff ( the_Source_of G1 tolerates the_Source_of G2 & the_Target_of G1 tolerates the_Target_of G2 ) );