$\begingroup$ "Subset of" means something different than "element of". Keep in mind $\a\$ is additionally a subset that $X$, despite $\ a \$ not showing up "in" $X$. $\endgroup$
that"s since there room statements that space vacuously true. $Y\subseteq X$ means for every $y\in Y$, we have $y\in X$. Now is the true the for every $y\in \emptyset $, we have actually $y\in X$? Yes, the explain is vacuously true, since you can"t pick any $y\in\emptyset$.
You are watching: The empty set is a subset of every set
Because every solitary element that $\emptyset$ is additionally an element of $X$. Or can you surname an element of $\emptyset$ that is no an aspect of $X$?
You have to start native the definition :
$Y \subseteq X$ iff $\forall x (x \in Y \rightarrow x \in X)$.
Then friend "check" this meaning with $\emptyset$ in location of $Y$ :
$\emptyset \subseteq X$ iff $\forall x (x \in \emptyset \rightarrow x \in X)$.
Now you should use the truth-table meaning of $\rightarrow$ ; you have actually that :
"if $p$ is false, then $p \rightarrow q$ is true", for $q$ whatever;
so, due to the fact that :
$x \in \emptyset$
is not true, for every $x$, the above truth-definition that $\rightarrow$ provides us that :
"for all $x$, $x \in \emptyset \rightarrow x \in X$ is true", for $X$ whatever.
This is the reason why the emptyset ($\emptyset$) is a subset of every collection $X$.
See more: The Maize At Little Darby Creek In, The Maize At Little Darby Creek
edited Jun 25 "19 at 13:51
answered january 29 "14 at 21:55
Mauro ALLEGRANZAMauro ALLEGRANZA
87k55 gold badges5656 silver badges130130 bronze title
add a comment |
Subsets are not have to elements. The facets of $\a,b\$ are $a$ and also $b$. But $\in$ and $\subseteq$ are different things.
answered january 29 "14 in ~ 19:04
Asaf Karagila♦Asaf Karagila
361k4141 gold badges532532 silver- badges913913 bronze badges
include a comment |
Not the price you're feather for? Browse various other questions tagged elementary-set-theory examples-counterexamples or ask your very own question.
Featured ~ above Meta
Is the null set a subset the every set?
Is this proof correct? If not, whereby is the flaw?
Set theory; sets and also subsets; Is one empty collection contained in ~ a collection that consists of real numbers?
Any collection A has actually void set as that subset? if correctly how?
straight proof the empty collection being subset of every set
If the empty set is a subset that every set, why isn't $\\emptyset,\a\\=\\a\\$?
A power set contais a set of a empty subset?
How deserve to it be that the empty set is a subset that every set but not an facet of every set?
Is the set that includes the empty collection ∅ likewise a subset of every sets?
hot Network questions much more hot inquiries
ridge Exchange Network
site design / logo design © 2021 stack Exchange Inc; user contributions licensed under cc by-sa. Rev2021.9.16.40224