非結合代数と浮動小数点数 浮動小数点数では結合則が成り立たないわけですが、単位元は存在し、交換則も成り立つので、可換 Loop になっています。（ただし IEEE754 では NaN とか ±∞ が引っかかりますが） ja.wikipedia.orgよって、x + (x + y) = x + (y + …