子幺半群

子幺半群是一个幺半群元素的子集，它本身在相同的幺半群运算下也是一个幺半群。 例如，考虑由非负整数在运算 下形成的幺半群。 然后将 和 的范围从所有整数限制到元素集合 ，形成幺半群 在运算 下的子幺半群。