for x being object
for X being set holds
( X \ {x} = X iff not x in X )