the relationship between +, * etc there is that of...
# arrow
r
the relationship between +, * etc there is that of the Monoid or Semigroup of the type