隣の人(id:rf0444)と話してたらまとまったので。 0を含む自然数の集合と0を含まない自然数の集合を比較すると、 は半群*1であり、Monoid*2ではない。 は半群であり、Monoid*3である。 なんで、0を含めると自然数をより広いインタフェースで考えられるように…