A Subset which is not the entire Set. For example, consider a Set . Then and are proper subsets, while and are not.