Proper Subset Vs Subset