:: deftheorem Def27 defines /\-tolerating GLIB_014:def 27 :
for S being Graph-membered set holds
( S is /\-tolerating iff ( meet (the_Vertices_of S) <> {} & ( for G1, G2 being _Graph st G1 in S & G2 in S holds
G1 tolerates G2 ) ) );