Ein einfacherer Fall:
        φa ∙ φb ≝ Pa,b(φ)
        φa ∙ φb ∙ φc ≝ Pa,b,c(φ)
        φa ∙ φb ∙ φc ∙ φd ≝ Pa,b,c,d(φ)
Nun will ich allgemein das variable Produkt P(φ) definieren! Wie soll ich das machen?
Man könnte eine Operation hinschreiben:
[φa ∙ φb = Pa,b(φ); – = P_(φ), – ∙ φη = P_,η(φ)]