for x being set holds (succ x) \ x = {x}