theorem :: BOOLE:5

for X being set holds X \+\ {} = X