Monoide: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 19:
== Proprietà ==
 
Partendo dagli assiomi formulati si vede subitodimostra che l'elemento neutro è univocamente determinato. Infatti seSe <math>e</math>, <math>f</math> sono entrambi elementi neutri, si ha <math>f = e f = e</math>, dove la prima eguaglianza segue dal fatto che <math>e</math> è un elemento neutro, e la seconda dal fatto che lo è <math>f</math>.
 
Un monoide è quindi un '''Semigruppo unitario''', ovvero un '''Magma associativo unitario'''.