<mathematics> A term describing a set with an explicit isomorphism with the natural numbers.
(13 Apr 1995)