Category:Infinite Set has Countably Infinite Subset