Distribueco: Malsamoj inter versioj

17 bitokojn forigis ,  antaŭ 17 jaroj
sen resumo de redaktoj
Neniu resumo de redakto
Neniu resumo de redakto
 
===Difino===
Se S estas [[aro]] kun du [[duargumenta operacio|duargumentaj operacioj]] <math>\times</math> kaj <math>\plus+</math>, ni diras ke
*<math>\times</math> estas ''maldektre distribua'' rilate al <math>\plus+</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>\plus+</math> <math> \left( a + b \right) \times c = a \times c + b \times c </math>
*<math>\times</math> estas ''distribua'' rilate al <math>\tplus+</math>, se ĝi estas kaj maldekstre kaj dekstre distribua.
 
Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logika|logike]] [[ekvivalento|ekvivalentaj]].