theorem :: ZFMISC_1:136

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