Kategorie:Halbgruppe

Halbgruppe[Bearbeiten | Quelltext bearbeiten]

Eine Halbgruppe ${\displaystyle (G,\circ )}$ mit Funktion ${\displaystyle \circ :G\times G\rightarrow G}$ ist

• abgeschlossen bzgl. der Operation ${\displaystyle \circ }$ in ${\displaystyle G}$ mit ${\displaystyle a,b\in G}$ gilt ${\displaystyle a\circ b\in G}$
• sowie assoziativ: ${\displaystyle \forall a,b,c\in G:a\circ (b\circ c)=(a\circ b)\circ c}$