Order of the natural numbers The set of natural numbers as given from the Peano axioms $(N,S)$ has an order.
I saw in wikipedia that $(N,+)$ is a commutative monoid, but since the naturals  have an order structure by construction shouldn't  $(N,+)$ be an ordered commutative monoid ? 
Thanks

You can have a square and call it a rectangle. There is no inherent problem with that, as long as all you really need from your quadrilateral is that all angles are right.
In the exact same way, you can take an ordered, commutative monoid and call it a commutative monoid.
