Semigruppo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 65:
* Ogni [[ideale di anello|ideale]] di un qualsiasi [[anello (matematica)|anello]], munito dell'operazione di moltiplicazione per l'anello.
* Ogni [[sottoinsieme]] di un semigruppo che sia chiuso per l'operazione di semigruppo.
* Un semigruppo la cui operazione è [[operazione commutativa|commutativa]] e [[idempotente]] è un [[semireticolo]]. Semireticoli di questo genere sono dati dalla collezione dei sottoinsiemi di un dato ambiente munita dell'intersezione (oppure dell'unione).
* L'insieme di tutte le relazioni entro un insieme munito della composizione tra relazioni.
* L'insieme di tutti i linguaggi su un dato alfabeto munito della giustapposizione fra linguaggi.