Compatibility of the Strict Natural Order with Addition and Positive Multiplication