1. Is \\( ( \mathbb{N} , \le, 1, \*) \\) a monoidal preorder, where \\( \* \\) is the usual multiplication of natural numbers?

2. If not, why not? If so, find a monoidal monotone \\( ( \mathbb{N} , \le, 0, + ) → ( \mathbb{N} , \le, 1, \* ) \\).

[**Definition symmetric monoidal preorder**](https://forum.azimuthproject.org/discussion/1975)

[Previous](https://forum.azimuthproject.org/discussion/1986)
[Next](https://forum.azimuthproject.org/discussion/1988)