theorem :: ZFMISC_1:8

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