theorem :: BOOLE:4

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