Infinite Set is Equivalent to Proper Subset/Examples