Exercise 2.5#
This won’t work, because the monoidal product doesn’t satisfy requirement (a). Consider the
example:
\[\begin{split}
\begin{align}
x_1 & = -2 \\
x_2 & = -2 \\
y_1 & = 1 \\
y_2 & = 1 \\
x_1 \leq y_1 & = true \\
x_2 \leq y_2 & = true \\
x_1 \otimes x_2 & = 4 \not\leq 1 = y_1 \otimes y_2 \\
\end{align}
\end{split}\]