let T be Subset of S; :: thesis: T is \/-tolerating
for G1, G2 being _Graph st G1 in T & G2 in T holds
G1 tolerates G2 by GLIB_014:def 23;
hence T is \/-tolerating by GLIB_014:def 23; :: thesis: verum