0で割れないとかマイナス×マイナスがプラスになるというのは定義なんでしょうか?