Principle of Induction applied to Interval of Naturally Ordered Semigroup

Theorem
Let $\left({S, \circ, \preceq}\right)$ be a naturally ordered semigroup.

Let $\left[{p .. q}\right]$ be a closed interval of $\left({S, \circ, \preceq}\right)$.

Let $T \subseteq \left[{p .. q}\right]$ such that the minimal element of $\left[{p .. q}\right]$ is in $T$.

Let $x \in T: x \prec q \implies x \circ 1 \in T$.

Then $T = \left[{p .. q}\right]$.

Proof
Let $T' = T \cup \left\{{x \in S: q \prec x}\right\}$.

Then $T'$ satisfies the conditions of the Principle of Finite Induction.

Therefore $T' = \left\{{x \in S: p \preceq x}\right\}$.

Therefore $T = \left[{p .. q}\right]$.