「準加算」
分配法則
 x + (y o z) = (x+y) o (x+z)
を満たす演算 o を考えます。
加法よりも低レベルの算法ということで「準加算」と呼びます。

例1
x o y = max{x,y}
例2
x o y = min{x,y}
例3
x o y = log_a( a^x + a^y)   (a>1)

日曜数学会(2016)
//suseum.jp/gq/question/3092, 3093