Derivationen/Verknüpfung/Produktauswertung/Fakt

Es sei eine kommutative -Algebra und seien Derivationen. Es seien . Zu einer Teilmenge mit der Anzahl sei

in der gegebenen Reihenfolge.

Dann gilt für die Hintereinanderschaltung die Beziehung

wobei sich die Summe über alle geordneten Partitionen erstreckt.