for x being object
for X being set st x in X holds
(X \ {x}) \/ {x} = X