Definition:Infinite Group/Countable

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