(f : ZFSet.{u_1} → ZFSet.{u_1} → ZFSet.{u_1}) →
  [ZFSet.Definable₂ f] →
    (n : ℕ) →
      (g₁ g₂ : (Fin n → ZFSet.{u_1}) → ZFSet.{u_1}) →
        [ZFSet.Definable n g₁] → [ZFSet.Definable n g₂] → ZFSet.Definable n fun s => f (g₁ s) (g₂ s)