:: deftheorem Def23 defines \/-tolerating GLIB_014:def 23 :
for S being Graph-membered set holds
( S is \/-tolerating iff for G1, G2 being _Graph st G1 in S & G2 in S holds
G1 tolerates G2 );