A denumerable set is one whose cardinality is that of the natural numbers. A set is non-denumerable if it is of greater cardinality than this. Cantor’s theorem proves the existence of such sets. A finite set is of lesser cardinality than the natural numbers, and an enumerable or countable set is either denumerable or finite.