auch (diskrete) Konvolution genannt, diskrete Verknüpfung von Funktionen.

Es sei P_< eine lokal-endliche Ordnung, K ein Körper der Charakteristik 0 und \begin{eqnarray}{{\mathbb{A}}}_{K}(P):=\{f:{P}^{2}\to K:x{\nleq }y\Rightarrow f(x,y)=0\}.\end{eqnarray}

Das diskrete Faltprodukt f ∗ g von f, g ∈ 𝔸_K(P) ist definiert durch \begin{eqnarray}(f* g)(x,y):=\displaystyle \sum _{z\in P,x\le z\le y}f(x,z)\ldots g(z,y).\end{eqnarray}

Die Summe auf der rechten Seite ist wegen der lokalen Endlichkeit von P_< wohldefiniert. Ist x ≰ y, d. h. ist der Intervall [x, y] leer, so setzt man die rechte Seite des Faltprodukts gleich 0. Für alle f, g ∈ 𝔸_K(P) gilt f ∗ g ∈ 𝔸_K(P). 𝔸_K(P) heißt die Inzidenzalgebra von P und ist eine assoziative K-Algebra mit der Kronecker-Deltafunktion δ als beidseitigem Einheitselement.