Rubyでは、整数が+というメソッドを持っているが、x + yが何になるかは、ℤをどのような代数系と見なしているのかに依存する
たとえば、x + y := max(x, y)と定義してもよい
整数自身がメソッドを持っているわけではない