Definition:Countably Infinite