a ∪ (a ∩ b)