# Definition:Infinite Group/Countable

## Definition

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

## Also see

• Results about the order of a group can be found here.