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.
