theorem Th20: :: GLIB_014:20

for S1, S2 being Graph-membered set st S1 \/ S2 is \/-tolerating holds
( S1 is \/-tolerating & S2 is \/-tolerating )