Is Empty Set A Proper Subset