Category:No Bijection between Finite Set and Proper Subset