$egingroup$ "Subset of" method something various than "element of". Keep in mind $a$ is also a subset of $X$, in spite of $ a $ not appearing "in" $X$. $endgroup$

Because every solitary element that $emptyset$ is also an facet of $X$. Or deserve to you name an facet of $emptyset$ that is no an aspect of $X$?

that"s because there space statements that are vacuously true. $Ysubseteq X$ means for all $yin Y$, we have actually $yin X$. Now is that true the for all $yin emptyset $, we have actually $yin X$? Yes, the declare is vacuously true, due to the fact that you can"t pick any type of $yinemptyset$.

You are watching: Is the empty set a subset of every set

You need to start native the meaning :

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

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

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

Now you should use the truth-table meaning of $ ightarrow$ ; you have actually that :

"if $p$ is *false*, then $p
ightarrow q$ is *true*", for $q$ whatever;

so, as result of the reality 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*", for $X$ whatever.

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

See more: What Is The Oxidation State Of S In S2O32, What Is The Oxidation Number Of Sulfur In S2O3 2

share

cite

follow

edited Jun 25 "19 in ~ 13:51

answered january 29 "14 in ~ 21:55

Mauro ALLEGRANZAMauro ALLEGRANZA

87.4k55 yellow badges5656 silver- badges130130 bronze badges

$endgroup$

1

include a comment |

4

$egingroup$

Subsets space not necessarily elements. The elements of $a,b$ are $a$ and $b$. But $in$ and $subseteq$ are various things.

re-superstructure

point out

follow

answered jan 29 "14 at 19:04

Asaf Karagila♦Asaf Karagila

362k4141 gold badges537537 silver- badges921921 bronze badges

$endgroup$

0

include a comment |

## Not the answer you're spring for? Browse other questions tagged elementary-set-theory examples-counterexamples or ask your own question.

The Overflow Blog

Featured top top Meta

Linked

20

Is the null set a subset the every set?

0

Is this evidence correct? If not, where is the flaw?

0

Set theory; sets and subsets; Is one empty set contained in ~ a collection that consists of real numbers?

0

Any collection A has void set as its subset? if correct how?

related

10

direct proof of empty collection being subset that every collection

3

If the empty collection is a subset the every set, why isn't $\emptyset,a\=\a\$?

1

A power set contais a collection of a north subset?

3

How deserve to it be that the empty set is a subset that every set but no an facet of every set?

3

Is the collection that has the empty set ∅ likewise a subset of all sets?

warm Network questions an ext hot inquiries

bsci-ch.orgematics

agency

ridge Exchange Network

site architecture / logo © 2021 ridge Exchange Inc; user contributions license is granted under cc by-sa. Rev2021.10.29.40598

bsci-ch.orgematics stack Exchange works best with JavaScript permitted

your privacy

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