theorem :: GLIB_014:36

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