定義はどうせ次の計算規則が成立するモノとかで定義するんじゃないのか?