apply Finset.subset_iff.mpr
β : Type u_2
inst✝¹ : DecidableEq β
α : Type u_1
inst✝ : DecidableEq β
f : α → Finset β
qa qb : Finset α
h : qa ⊆ qb
⊢ fold (fun x x_1 => x ∪ x_1) ∅ f qa ⊆ fold (fun x x_1 => x ∪ x_1) ∅ f qb
β : Type u_2
inst✝¹ : DecidableEq β
α : Type u_1
inst✝ : DecidableEq β
f : α → Finset β
qa qb : Finset α
h : qa ⊆ qb
⊢ ∀ ⦃x : β⦄, x ∈ fold (fun x x_1 => x ∪ x_1) ∅ f qa → x ∈ fold (fun x x_1 => x ∪ x_1) ∅ f qb