∀ {α : Type u_1} {β : Type u_3} [inst : DecidableEq α] [inst_1 : DecidableEq β] {f : α → α → β} {s t : Finset α},
  (∀ (a b : α), f a b = f b a) → Finset.image₂ f (s ∪ t) (s ∩ t) ⊆ Finset.image₂ f s t