just isn't shut below subtraction (which is, subtracting one natural from A different will not usually end in Yet another natural), implies that N displaystyle mathbb N With this particular definition, specified a natural variety n, the sentence "a set S has n factors" is often formally defined as https://share.evernote.com/note/f5ed0f3d-3352-3d51-727d-10fa609eb157