加減乗除は全て
(a,b) |→ c
となる２項演算子です。
群環体もこの２項演算子をモデルに作られています。
横に文字を連ねるとどうしても a □ b = c と
２項演算子が考えやすいのか…。

３項演算子を考えればもっと計算の世界が広がるのでは？
このスレでは３つの数 (a, b, c) に対して数 d を割り当てる３項演算子
(a,b,c) |→ d
を考えます。