子么半群

子么半群是一個么半群元素的子集，它本身在相同的么半群運算下也是一個么半群。 例如，考慮由非負整數在運算 下形成的么半群。 然後將 和 的範圍從所有整數限制到元素集合 ，形成么半群 在運算 下的子么半群。