Definition:Countably Infinite/Class