apply Finset.union_subset_union_left
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C ∪ E
h2 : B ⊆ D ∪ E
⊢ C ∪ E ⊆ C ∪ D ∪ E
case h
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C ∪ E
h2 : B ⊆ D ∪ E
⊢ C ⊆ C ∪ D