If we apply that to the *multiplicative* monoid on \\(N^{+}\\) we get the (positive) rational numbers, correct?