Note that for any given set A, then
,
that is the empty set is a subset of any set A. Furthermore,
if
,
and
,
then
A is called a proper subset of B.
It is important to remember that we use ``
'' to denote
a proper subset and ``
'' for the more
general subset relation.
A word of caution here - do not confuse the empty set
with the set
which denotes the non-empty set consisting
of the single element zero.