User talk:Lord Farin/Backup/Principle of Finite Induction/Naturally Ordered Semigroup/General Result

"Strictly Preceding" or not
In an "explain" template within the exposition:
 * Should this be "strictly preceding"?

The source work which inspired this page was.

I quote:


 * . Let $p$ be a natural number, and let $S$ be a set of natural numbers $\ge p$ such that $p \in S$ and for all natural numbers $n$, if $n \in S$, then $n + 1 \in S$. Then $S$ is the set of all natural numbers $\ge p$.

So, in the context of what this page is presenting, no, I believe it is not the case that it should be "strictly preceding". --prime mover (talk) 06:22, 11 April 2015 (UTC)