Definition:Semigroup Automorphism

Definition
Let $\left({S, \circ}\right)$ be a semigroup.

Let $\phi: S \to S$ be a (semigroup) isomorphism from $S$ to itself.

Then $\phi$ is a semigroup automorphism.