6
$\begingroup$

I think that two empty sets do not have any element in common since they do not have any elements in the first place.

Should I count $\emptyset$ as a common element?

Edited: two empty sets as: $A=\{\;\}$, $B=\{\;\}$.

$\endgroup$
6
  • 5
    $\begingroup$ What do you mean by "two" empty sets? $\endgroup$
    – user223391
    Commented Sep 26, 2016 at 0:22
  • 10
    $\begingroup$ They share none and all of their elements :). $\endgroup$ Commented Sep 26, 2016 at 0:40
  • 1
    $\begingroup$ There is only one empty set. $\endgroup$ Commented Sep 26, 2016 at 0:54
  • 1
    $\begingroup$ That's just two names for the empty set. $\endgroup$
    – Bakuriu
    Commented Sep 26, 2016 at 7:54
  • $\begingroup$ $A=\{\}$, $B=\{\}$, and $\varnothing=\{\}$. Two empty sets do not have any element in common. They do not have any element with any property whatsoever, as you observe. $\endgroup$
    – MPW
    Commented Sep 26, 2016 at 12:26

4 Answers 4

6
$\begingroup$

You are right. In particular, $\emptyset$ is not a common element, but rather a common subset. That is: $\emptyset$ has no elements, but is indeed a subset of itself (and of every other set!).

$\endgroup$
1
  • $\begingroup$ I chose this answer because it was most clear for me to understand. Thank you for all answers. $\endgroup$ Commented Sep 26, 2016 at 0:43
6
$\begingroup$

Your argument looks good, $\varnothing\cap \varnothing=\varnothing$. In fact $\varnothing \cap X=\varnothing$ for any set $X$ !

$\endgroup$
2
  • $\begingroup$ ∅∩X=∅ does this mean that there is nothing in common? Thanks for your reply. $\endgroup$ Commented Sep 26, 2016 at 0:26
  • 1
    $\begingroup$ @pigletwithcurls Yes, that is what it means. $\endgroup$ Commented Sep 26, 2016 at 0:36
3
$\begingroup$

I think that two empty sets do not have any element in common since they do not have any elements in the first place.

Exactly.

Should I count $\varnothing$ as a common element?

No, because $\varnothing$ is not an element of neither of the sets. It only is an element of their power set (i.e. a common subset), but the empty set is not an element of the empty set itself and therefore not a common element of the intersection between two empty sets.

$\endgroup$
2
$\begingroup$

$A$ and $B$ do not have any elements in common. $$ \not\exists x: x\in A \wedge x\in B $$

However, $A$ does have all its elements in common with $B$ and vice versa!

$$ \forall x \in A: x\in B $$ This is of course a vacuous truth.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .