WikiDer > Linksverteilend

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

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

Da die Operation * links von den Klammern steht, heißt sie linksverteilend.

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