Distribueco

En matematiko, distribueco estas eco de duargumentaj operacioj, kiuj ĝeneraligas la distribuan leĝon de baza algebro. Ekzemple

4 · (2 + 3) = (4 · 2) + (4 · 3)

Difino

Se S estas aro kun du duargumentaj operacioj $\times$ kaj $+$, ni diras ke

• $\times$ estas maldektre distribua rilate al $+$, se $a \times \left( b + c \right) = a \times b + a \times c$
• $\times$ estas dektre distribua rilate al $+$, se $\left( a + b \right) \times c = a \times c + b \times c$
• $\times$ estas distribua rilate al $+$, se ĝi estas kaj maldekstre kaj dekstre distribua.

Notu, ke se $\times$ estas komuta, la supraj tri difinoj estas logike ekvivalentaj.

Vidu ankaŭ

• Komuteco
• Asocieco