If a monogenic semigroup is infinite then it is isomorphic to the semigroup of positive integers with the operation of addition.

• 如果单基因半群是无限的，则它同构于带有加法运算的正整数的半群。