自然数の集合を考えた時に、ある要素二つの和は自然数の集合に含まれる。積も同様。引き算だと、a>bのときにb-a自然数の集合からは外れる。整数の集合に含まれることになる。集合論で言うと、自然数の集合と整数の集合は同じ密度（！）であるらしい。密度と…