Again taking the divisibility order \\( ( \mathbb{N} , | ) \\).
Someone proposes 0 as the monoidal unit and + as the monoidal product.
Does that proposal satisfy the conditions of [Definition 2.2](https://forum.azimuthproject.org/discussion/1976)?
Why or why not?
**[divisibility order](https://forum.azimuthproject.org/discussion/1924):** We write \\( m|n \\) to mean that m divides into n without remainder.
[Previous](https://forum.azimuthproject.org/discussion/1978)
[Next](https://forum.azimuthproject.org/discussion/1980)