Distribueco
El Vikipedio
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)
[redaktu] Difino
Se S estas aro kun du duargumentaj operacioj kaj + , ni diras ke
estas maldektre distribua rilate al + , se
estas dektre distribua rilate al + , se
estas distribua rilate al + , se ĝi estas kaj maldekstre kaj dekstre distribua.
Notu, ke se estas komuta, la supraj tri difinoj estas logike ekvivalentaj.