Distribueco: Malsamoj inter versioj

Se S estas [[Aro (matematiko)|aro]] kun du [[duargumentaduvalenta operacio|duargumentajduvalentaj operacioj]] <math>\times</math> kaj <math>+</math>, ni diras ke

* <math>\times</math> estas '''maldektre distribua''' rilate al <math>+</math>, se <math> a \times \left( b + c \right) = a \times b + a \times c </math>

* <math>\times</math> estas '''dektre distribua''' rilate al <math>+</math>, se <math> \left( a + b \right) \times c = a \times c + b \times c </math>

* <math>\times</math> estas '''distribua''' rilate al <math>+</math>, se ĝi estas kaj maldekstre kaj dekstre distribua.

Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logiko|logike]] [[ekvivalento|ekvivalentaj]].