theorem :: BOOLE:2

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