Natural Such a functionality signifies a partial function on naturals, in which the evidence of even (n) can be witnessed as a precondition. From the Cambridge English Corpus There is no genuine difference between the standard 1st-order objects in the mathematical discourse - for instance naturals, sets and so on https://www.diigo.com/user/cureayuherbal