Definition Of A Proper Subset