Distributività: differenze tra le versioni

Versione delle 11:49, 4 lug 2009

Versione delle 11:26, 10 ago 2009

Riga 10:

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

* l'operazione * è ''distributiva a sinistra'' rispetto all'operazione + se, dati gli elementi generici ''x'', ''y'', e ''z'' di ''S'',

::''<math>x'' * (''y'' + ''z'') = (''x'' * ''y'') + (''x'' * ''z'');\qquad\mbox{per ogni }x,y,z\in S.</math>

* l'operazione * è ''distributiva a destra'' rispetto all'operazione + se, dati gli elementi generici ''x'', ''y'', e ''z'' di ''S'':

::<math>(''y'' + ''z'') * ''x'' = (''y'' * ''x'') + (''z'' * ''x'');\qquad\mbox{per ogni }x,y,z\in S.</math>

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