Natural numbers SMP

There is a symmetric monoidal structure on \((\mathbb{N}, \leq)\) where the monoidal unit is ?zero and the product is ?\(+\) (\(6+4=10\)). Monotonicity (?\((x_1,x_2)\leq(y_1,y_2) \implies x_1+x_2 \leq y_1+y_2\)) and other conditions hold.