Absorption Laws (Set Theory)

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