ペアノの公理で定義される集合の上で加法と乗法を定義して、
最初の要素が何であるかを定める、というべきだったか
それで、例えば最初の要素が-1になるように加法を定義すると
(-1)+(-1)があるから閉じていなくなる