Prove a few lemmas and the absorption laws for sets