for x, y being object st {x} /\ {y} = {x} holds
x = y