Natural Numbers with Extension fulfil Naturally Ordered Semigroup Axioms 1, 3 and 4/Lemma 3

Construction
The algebraic structure:
 * $\struct {M, +}$

is not isomorphic to $\struct {\N, +}$.