Take for example the set $X=a, b$. I don"t view $emptyset$ anywhere in $X$, so how can it be a subset?


$egingroup$ "Subset of" way something various than "element of". Keep in mind $a$ is likewise a subset the $X$, despite $ a $ not showing up "in" $X$. $endgroup$
Because every solitary element the $emptyset$ is likewise an element of $X$. Or deserve to you surname an facet of $emptyset$ that is not an aspect of $X$?


that"s since there are statements that space vacuously true. $Ysubseteq X$ method for every $yin Y$, we have actually $yin X$. Now is that true the for every $yin emptyset $, we have $yin X$? Yes, the statement is vacuously true, because you can"t pick any $yinemptyset$.

You are watching: Empty set is a subset of every set


You should start indigenous the an interpretation :

$Y subseteq X$ iff $forall x (x in Y ightarrow x in X)$.

Then girlfriend "check" this meaning with $emptyset$ in location of $Y$ :

$emptyset subseteq X$ iff $forall x (x in emptyset ightarrow x in X)$.

Now you need to use the truth-table definition of $ ightarrow$ ; you have actually that :

"if $p$ is false, then $p ightarrow q$ is true", because that $q$ whatever;

so, due to the truth that :

$x in emptyset$

is not true, because that every $x$, the over truth-definition of $ ightarrow$ offers us that :

"for all $x$, $x in emptyset ightarrow x in X$ is true", because that $X$ whatever.

This is the factor why the emptyset ($emptyset$) is a subset the every set $X$.

See more: What Is The Ongoing Process Of Tearing Down And Rebuilding Bone Matrix Is Called

point out
edited Jun 25 "19 in ~ 13:51
answered january 29 "14 at 21:55

87.4k55 yellow badges5656 silver- badges130130 bronze badges
include a comment |
Subsets room not necessarily elements. The elements of $a,b$ room $a$ and $b$. Yet $in$ and $subseteq$ are various things.

answered jan 29 "14 in ~ 19:04

Asaf Karagila♦Asaf Karagila
362k4141 yellow badges538538 silver badges921921 bronze badges
add a comment |

Not the prize you're spring for? Browse various other questions tagged elementary-set-theory examples-counterexamples or asking your very own question.

Featured top top Meta
Is the null collection a subset the every set?
Is this evidence correct? If not, wherein is the flaw?
Set theory; sets and subsets; Is an empty collection contained within a set that consists of real numbers?
Any collection A has void collection as the subset? if yes how?
direct proof that empty set being subset that every set
If the empty set is a subset that every set, why isn't $\emptyset,a\=\a\$?
A power collection contais a set of a empty subset?
How deserve to it be the the empty set is a subset of every collection but no an facet of every set?
Is the set that has the empty set ∅ likewise a subset of all sets?
warm Network inquiries an ext hot inquiries
ridge Exchange Network
site style / logo design © 2021 stack Exchange Inc; user contributions license is granted under cc by-sa. Rev2021.11.1.40614

invernessgangshow.netematics ridge Exchange works ideal with JavaScript permitted

your privacy

By clicking “Accept all cookies”, girlfriend agree ridge Exchange deserve to store cookie on your device and disclose details in accordance with our Cookie Policy.