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$$\times$ kaj $+$$+$, ni diras ke

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

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

Vidu ankaŭ

• Komuteco
• Asocieco