Natural Such a function represents a partial functionality on naturals, where by the proof of even (n) may be witnessed as a precondition. Through the Cambridge English Corpus There isn't any true difference between the usual initial-order objects of the mathematical discourse - which include naturals, sets and so on https://justpaste.it/ecvm5