Äquivalenzrelation ˜ auf der Intervallmenge Int(P) einer lokalendlichen Ordnung P_<, falls mit je zwei Elementen f, g der Inzidenzalgebra \({{\mathbb{A}}}_{K}(P),\) welche konstant auf den ˜-Blöcken sind, auch das Faltprodukt f☆g diese Eigenschaft hat.