for G1, G2 being _Graph holds
( G1 tolerates G2 iff {G1,G2} is \/-tolerating )