for t, u being set st t c= u holds
TWOELEMENTSETS t c= TWOELEMENTSETS u