 Georg Cantor introduced the term "countable set", contrasting sets that are countable with those that are "uncountable" (i.e., "nonenumerable" or "nondenumerable").Today, countable sets form the foundation of a branch of mathematics called "discrete mathematics".A set is "countable" if there exists an injective function from to the natural numbers }.