# empty set and intersection

• Sep 29th 2011, 11:03 PM
Jskid
empty set and intersection
Why is $B \cap \{ \emptyset \} = \emptyset$? Shouldn't it be $B \cap \{ \emptyset \} = \{\emptyset \}$?
• Sep 30th 2011, 02:23 AM
emakarov
Re: empty set and intersection
Quote:

Originally Posted by Jskid
Why is $B \cap \{ \emptyset \} = \emptyset$? Shouldn't it be $B \cap \{ \emptyset \} = \{\emptyset \}$?

It can be either depending on whether $\emptyset\in B$.
• Sep 30th 2011, 08:58 AM
MoeBlee
Re: empty set and intersection
Quote:

Originally Posted by Jskid
Why is $B \cap \{ \emptyset \} = \emptyset$?

$B \cap \{ \emptyset \} = \emptyset$ is NOT a theorem. Who said it is?

Quote:

Originally Posted by Jskid
Shouldn't it be $B \cap \{ \emptyset \} = \{\emptyset \}$?

As emakarov alluded

$B \cap \{ \emptyset \} = \{\emptyset \}$ if and only if $\emptyset\in B$
• Oct 3rd 2011, 07:34 PM
Jskid
Re: empty set and intersection
First page of section 2.2 in Discrete Mathematics for Logic and Foundations.
• Oct 3rd 2011, 10:25 PM
issacnewton
Re: empty set and intersection
are you sure about the name of the book. amazon doesn't come up with any book with that name
• Oct 4th 2011, 10:54 AM
MoeBlee
Re: empty set and intersection
Quote:

Originally Posted by Jskid
First page of section 2.2 in Discrete Mathematics for Logic and Foundations.

Then, if you're quoting the book correctly, taking you to mean that the book claims it's a theorem of ordinary set theory, then the book is in clear error.