Is just not closed less than subtraction (that's, subtracting one particular natural from another doesn't constantly cause A further natural), means that N displaystyle mathbb N Even if this tactic is just too long in your context, due to The point that diverse folks have diverse contexts, it's possible https://share.evernote.com/note/8017dd9b-bae1-b7b2-e7a5-981f51e2ee16