Absorption Laws (Set Theory)

Theorem
These two results together are known as the absorption laws, corresponding to the equivalent results in logic.