<mathematics> An integer greater than or equal to zero. A natural number is an isomorphism class of a finite set.
(25 Mar 1995)