Definition:Natural Number Multiplication/1-Based

Definition
Let $\N_{>0}$ be the $1$-based natural numbers, axiomatized by:

The operation $\times$ in this axiomatization is called multiplication.