ブール代数もいいけれど、そういうあれこれはおいといて
既存の整数と同型であるようなもの。
しかも、負の数を含む演算に対する分配則は公理にふくまれていない体系。