Definition:Infinite Group/Countable

Definition
An infinite group whose underlying set $G$ is countable is a countably infinite group.

Also see

 * Definition:Uncountable Group