Distribueco: Malsamoj inter versioj

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

 

Se S estas [[Aro (matematiko)|aro]] kun du [[duargumenta operacio|duargumentaj 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>

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

 

*[[Komuteco]]

*[[Asocieco]]