theorem :: ZFMISC_1:54

for x, y being object
for X being set st x in X & ( not y in X or x = y ) holds
{x,y} /\ X = {x}