sottomonoide

sottomonoide

sottomonoide monoide il cui insieme sostegno A è sottoinsieme dell’insieme sostegno di un monoide. Esso è perciò un insieme A con un’operazione associativa ∘ tale che a ∘ b ∈ A qualunque siano due suoi elementi a e b e rispetto alla quale esista in A un elemento neutro.