Definition:Countably Infinite Set