自然数のことを N じゃなくて ω と書く分野全般

0 を含めるのはそっちのほうが自然な場合が結構あるから
モノイドとしてみたら 0 は（含められない事情がある場合を除いて）
含めておいた方が一般に便利