>>177
写像としての可換性と演算としての可換性も少しギャップあるよね

たしかに演算をRの部分集合に制限したものが利用するパターンがあるね
でも独立なのは(0,∞),(1,∞)の乗法だけかな(前者は加法、後者はそのf^-1(f(x)+f(y))的な演算)
k>0に対して(k,∞)の乗法モノイドはkが違うときどうなってるんだろう
実は全部独立？