theorem :: BOOLE:3

for X being set holds X \ {} = X