Countable group

Definition
A group is said to be countable or denumerable or enumerable if it satisfies the following equivalent conditions:


 * 1) It is countable as a set, i.e., its order is a cardinal that is at most the cardinality of the natural numbers.
 * 2) It has a countable generating set.

Sometimes, the term countable is used to refer only to infinite countable groups, i.e., finite groups are specifically excluded. Whether this is the valid interpretation depends on the context.