Category:Infinite Set is Equivalent to Proper Subset