Element der Inzidenzalgebra A_K(P) einer lokal-endlichen Ordnung P_≤ über einen Körper oder Ring K der Charakteristik 0, welches durch \begin{eqnarray}\lambda (x,y)=\left\{\begin{array}{ll}1 & \text{falls}\ x=y\space \text{order}\space x \lessdot y,\\ 0 & \text{sonst}\end{array}\right.\end{eqnarray}

definiert wird.