NやZが乗法に関して可換半群であるってときに0を抜くのはなんで?
あっても成立すると思うんだけど