theorem :: ZFMISC_1:13

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