apply Finset.union_subset_iff.mpr
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C ∪ E
h2 : B ⊆ D ∪ E
⊢ A ∪ B ⊆ C ∪ D ∪ E
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C ∪ E
h2 : B ⊆ D ∪ E
⊢ A ⊆ C ∪ D ∪ E ∧ B ⊆ C ∪ D ∪ E