:: deftheorem defines \/-tolerating GLIB_014:def 24 :
for S being non empty Graph-membered set holds
( S is \/-tolerating iff for G1, G2 being Element of S holds G1 tolerates G2 );