:: deftheorem defines /\-tolerating GLIB_014:def 28 :
for S being non empty Graph-membered set holds
( S is /\-tolerating iff ( meet (the_Vertices_of S) <> {} & ( for G1, G2 being Element of S holds G1 tolerates G2 ) ) );