Distribueco: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 4:
===Difino===
Se S estas [[aro]] kun du [[duargumenta operacio|duargumentaj operacioj]] <math>\times</math> kaj <math>
*<math>\times</math> estas ''maldektre distribua'' rilate al <math>
*<math>\times</math> estas ''dektre distribua'' rilate al <math>
*<math>\times</math> estas ''distribua'' rilate al <math>
Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logika|logike]] [[ekvivalento|ekvivalentaj]].
|