Definition:Countably Infinite/Set