Es sei R {\displaystyle {}R} ein kommutativer Halbring und es seien a 1 , … , a r , b 1 , … , b s {\displaystyle {}a_{1},\ldots ,a_{r},b_{1},\ldots ,b_{s}} Elemente aus R {\displaystyle {}R} . Dann gilt das allgemeine Distributivgesetz