Natural This kind of function represents a partial perform on naturals, the place the proof of even (n) could possibly be found as a precondition. In the Cambridge English Corpus There isn't a real distinction between the same old to start with-order objects of the mathematical discourse - like naturals, https://www.reddit.com/user/Consistent-Load1428/