Definition:Countably Infinite Class