このスレでの私の目標は
数に対して加減乗除に次ぐ第５の演算で
加減乗除に類する素直な性質を持つものを見つけることです。

そのためにまず有限基数 S = {0, 1, ..., n-1} に対して
三角乗法△を定義し、それを N → Q → R と拡張する方針です。

ひとまず昨晩の探索の結果をまとめます。