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.