algebraische Struktur der im folgenden beschriebenen Art.

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} Die Summe zweier Elemente aus A_k (P) und das Skalarprodukt mit Zahlen r ∈ K wird durch \begin{eqnarray}\begin{array}{l}(f+g)(x,y) & :=\, f(x,y)+g(x,y),\\ (rf)(x,y) & :=\,rf(x,y)\end{array}\end{eqnarray} definiert. Außerdem betrachtet man die Konvolution (Faltung) f * g zweier Elemente aus \({{\mathbb{A}}}_{k}(P)\). Die Menge \({{\mathbb{A}}}_{k}(P)\) zusammen mit der Operationen Addition, Skalarprodukt und Konvolution heißt Inzidenzalgebra von P_< (über K).