Definition:Countably Infinite Group