A semigroup $G$ is cyclic if $G$ is generated by a single element.
I know that a finite cyclic group generated by $a$ is necessarily abelian, and can be written as $\{1, a, a^2, . . . , a^n−1\}$ where $a^n = 1$, or in additive notation, $\{0, a, 2a, . . . , (n − 1)a\}$, with $na = 0$. Thus a finite cyclic group with $n$ elements is isomorphic to the additive group $\mathbb{Z}_n$ of integers modulo $n$. If $G$ is an infinite cyclic group generated by $a$, then $G$ must be abelian and can be written as $\{1, a^±1, a^±2, . . . \}$, or in additive notation as $\{0,±a,±2a, . . . \}$. In this case, $G$ is isomorphic to the additive group $\mathbb{Z}$ of all integers.
Q: Prove that a cyclic semigroup is either finite or isomorphic to $\langle \mathbb{N},+ \rangle$.
Hint and observations The standard proof of cyclic group is either finite or isomorphic to $\mathbb{Z} $ will work fine.
You have to note that a "cyclic semigroup" (denoted $ S $) can't be uncountable, just because there exists a generator $ g \in S$ together with the operation "power" ^ $: \mathbb{N} \to S \ \ n \mapsto g^n$ which generate all the elements. So they can't be more than countable.