Subset

Revision as of 15:52, 29 June 2006 by JBL (talk | contribs)

We say a set $A$ is a subset of another set $B$ if every element of $A$ is also an element of $B$, and we denote this $A \sub B$ (Error compiling LaTeX. Unknown error_msg). The empty set is a subset of every set, and every set is a subset of itself. The notation $A \subseteq B$ emphasizes that $A$ may be equal to $B$, while $A \subsetneq B$ says that $A$ is any subset of $B$ other than $B$ itself.


The following is a true statement:

$\emptyset \sub \{1, 2\} \sub \mathbb{N} \sub \mathbb{Z} \sub \mathbb{Q} \sub \mathbb{R} \sub \mathbb{C} \sub \mathbb{C}\, \cup\{\textrm{Groucho, Harpo, Chico}\} \supset \{1, 2, i, \textrm{Groucho}\}$ (Error compiling LaTeX. Unknown error_msg)