Distributività: differenze tra le versioni

Versione delle 00:06, 14 ago 2007

Versione delle 16:06, 22 ott 2007

Riga 8:

==Definizione==

Dato un [[insieme]] <i>''S</i>'' e due [[operazione binaria|operazioni binarie]] * e + su ''S'', diciamo che

* l'operazione * è ''distributiva a sinistra'' su + se, dati gli elementi generici <i>''x</i>'', <i>''y</i>'', e <i>''z</i>'' di <i>''S</i>'',

::<i>''x</i>'' * (<i>''y</i>'' + <i>''z</i>'') = (<i>''x</i>'' * <i>''y</i>'') + (<i>''x</i>'' * <i>''z</i>'');

* l'operazione * è ''distributiva a destra'' su + se, dati gli elementi generici <i>''x</i>'', <i>''y</i>'', e <i>''z</i>'' di <i>''S</i>'':

::(<i>''y</i>'' + <i>''z</i>'') * <i>''x</i>'' = (<i>''y</i>'' * <i>''x</i>'') + (<i>''z</i>'' * <i>''x</i>'');

* l'operazione * è ''distributiva'' su + se è sia distributiva a destra che distributiva a sinistra.