和と積と冪乗の定義された数(整数でも実数でも何でもいいが)の性質から抽象化してみるとか?

その場合、3つ目の演算子は ^ だけど。