Eine Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} einer Halbgruppe ( M , ⋅ ) {\displaystyle {}(M,\cdot )} heißt Unterhalbgruppe von M {\displaystyle {}M} , wenn sich die Multiplikation von M {\displaystyle {}M} auf T {\displaystyle {}T} einschränken lässt.
