Operator auf der Inzidenzalgebra \({\mathbb{A}}(P)\) eines VerbandesP, definiert

durch \begin{eqnarray}({S}_{\le}f)(x):=\displaystyle \sum _{\begin{array}{c}y\\ y\le x\end{array}}f(y)\end{eqnarray} für alle \(f\in {\mathbb{A}}(P)\) und x ∈ P.