apply Finset.union_subset_union_right
α : Type
inst✝ : DecidableEq α
A B C D E F : Finset α
h1 : A ⊆ E ∪ C \ F
h2 : B ⊆ E ∪ D \ F
⊢ E ∪ D \ F ⊆ E ∪ (C ∪ D) \ F
case h
α : Type
inst✝ : DecidableEq α
A B C D E F : Finset α
h1 : A ⊆ E ∪ C \ F
h2 : B ⊆ E ∪ D \ F
⊢ D \ F ⊆ (C ∪ D) \ F