Operator auf der Inzidenzalgebra 𝔸(P) eines Verbandes P, definiert durch \begin{eqnarray}({S}_{\ge }f)(x):=\displaystyle \sum _{\begin{array}{c}y\\ y\ge x\end{array}}f(y)\end{eqnarray}

für alle f ∈ 𝔸(P) und x ∈ P.