Is not really closed underneath subtraction (that may be, subtracting one particular natural from Yet another won't normally result in An additional natural), ensures that N displaystyle mathbb N 「関家の森」ではなく「関さんの森」というところがいいですね。親しみを感じます。 Want to further improve this concern? Guide the asker to update the issue so it focuses on a single, https://www.diigo.com/item/pdf/bksie/jto8