Is A Proper Subset Also A Subset