Quick and Easy Set Questions: Understanding the Concept of Elements in Math

  • Thread starter Thread starter gflores
  • Start date Start date
  • Tags Tags
    Set
AI Thread Summary
The discussion focuses on understanding the concept of elements in set theory, specifically the differences between sets and their elements. The confusion arises from whether certain notations represent sets or elements, such as Ø and {2}. It is clarified that Ø is an empty set with no members, while {Ø} is a set containing the empty set as its only member. Additionally, it is emphasized that a set cannot be an element of another set unless it is explicitly included as a member. The analogy of sets as "baskets" helps illustrate the relationship between sets and their contents.
gflores
Messages
4
Reaction score
0
Need some help on some of these problems. Thanks in advanced.

Ø
E = is an element of...

1. Ø E {{Ø}1,2}
False? I'm a little confused. Is Ø on the left side a set? So, can it be equivalently written as {Ø}? If so, then it can't be an element of something, since it's actually a set, or in this case a subset.
2. {2} E {1,2,3}
Confused again here with the 2 being in braces, does it mean it's a set and therefore can't be an element of something? False?
3. Ø = {Ø}
No idea here. I'm guessing true.

Any help is appreciated. Thanks again.
 
Last edited:
Physics news on Phys.org
Why can't a set be an element of another set?

2) is indeed false, but not for the reason you gave. {2} is not an element of {1,2,3} (if it were, {2} would be equal to 1, 2, or 3. A set equal to a natural number? Surely a contradiction). But {2} IS an element of {1,{2},3}.

{Ø} is a set of sets, while Ø itself is "just" a set. {Ø} has one member, but Ø has zero members.

An analogy: imagine that sets are "baskets". Imagine a really large basket, in which you could put other baskets (these smaller baskets may or may not contain other things). Then you have a "set" which holds other "sets".
 
Last edited:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top