Existence of Unique Subsemigroup Generated by Subset

Theorem
Let $\struct {S, \circ}$ be a semigroup.

Let $\O \subset X \subseteq S$.

Let $\struct {T, \circ}$ be the subsemigroup generated by $X$.

Then $T = \gen X$ exists and is unique.