A proper subset 
of a set 
, denoted 
, is a subset
that is strictly contained in 
and so necessarily excludes at least one member of 
. The empty set is therefore
a proper subset of any nonempty set.
For example, consider a set 
. Then 
and 
are proper subsets, while 
and 
are not.
