実数上の連続かつ可換かつ結合的な二項演算って分類されてたりするんかな
加法、乗法、min、それらをRの同相で動かしたもの
以外にどんなのがあるんだろう？