WikiDer > Rechtsverteilung

EIN binäre Operation * über einen Sammlungso wird rechtsverteilend in Bezug auf eine binäre Operation, wenn die folgende Eigenschaft gilt:

${Anzeigestil für alle x,y,Satz S:(y z)*x=y*x z*x}$

Da die Operation * rechts von den Klammern steht, wird sie rechtsverteilend genannt.

Wenn die Operation nicht nur rechtsverteilend ist, sondern auch linksverteilend ist, dann wird die Operation wie verteilend berücksichtigt.