Funktion f ∈ \({\mathbb{A}}\)(p), wobei \({\mathbb{A}}\)_K(P) die Inzidenzalgebra einer lokalendlichen Ordnung P_< über einem Körper K der Charakteristik 0 ist, falls \(f(x\wedge y,x\vee y)=f(x\wedge y,x)\cdot f(x\wedge y,y)\) für alle x, y ∈ P.