Note first of all the definition of a subset: We say only when: if
then
.
The empty set is the set with no elements. It is denoted by the symbol . A source of confusion to beginners is that although the empty set consists of nothing, it itself is something (namely, some particular set, the one characterized by the fact that nothing is in it). The set
is a set containing exactly one element, namely the empty set. (In a similar way, when dealing with numbers, say with ordinary integers, we must be careful not to regard the number zero as nothing; zero is something, a particular number, which represents the numbers in “nothing”. Thus, zero and
are quite different, but there is a connection between them in that the set has zero elements.) Note that for any set X, we have
and
.
A special case of both of these statements is the statement which occasions difficulty if, as is often improperly done, one reads “is contained in” for both of the symbols and
The statement
is true because the statement “for each , we have
” is obviously true, and also because it is “vacuously true”, that is there is no for which the statement must be verified, just as the statement “all pigs with wings speak Chinese” is vacuously true.
***************************************************************************************************
Do send your questions, suggestions, comments, more such seemingly paradoxical statements to me.
More later, happy new year 🙂
Nalin Pithwa