Category:Examples of Use of Infinite Set is Equivalent to Proper Subset