Trying to understand set theory? Subset vs Member?
So I'm learning set theory and wanted to know if I'm understanding some of the basics correctly. I have a feeling 1 and 2 are correct, but I'm not sure about 3 and 4.
Z = {1,3}
W = {1,2,3,4}
1) Is Z ∈ W?
No, Z is not a member or W, because Z is the set {1,3}, while the members of W are 1,2,3,4.
2) Is Z ⊆ W?
Yes, because all elements in the set Z (1 and 3) are also present in the set W.
3)Is Z ∈ ℘(W)?
Yes, because ℘(W) is a set of sets, Z is a member of ℘(W) because {1, 3} is one of those sets.
4)Is Z ⊆ ℘(W)?
No, Z is not a subset of the powerset of W because the elements in set Z (1 and 3) are not present in the set ℘(W).
Solution 1:
This is all correct, except for the statement in 3) that "Z is a power set of ℘(W)" which should read "Z is an element of ℘(W)". Note that ℘(W) is called the power set of W.
Solution 2:
Looks good. Note that: $$ Z \subseteq W \iff Z \in ℘(W) $$ so statements $2$ and $3$ are equivalent.