For any subset A of S there is a smallest subsemigroup T of S which contains A, and we say that A generates T.

• 对于 S 的任何子集 A，存在 S 的包含 A 的一个最小的子半群 T，我们称 A 生成 T。