Proper Set and Subset