theorem :: ZFMISC_1:16

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