- #1
DeadOriginal
- 274
- 2
Homework Statement
Let S be a set such that for each set A, we have S[itex]\subseteq[/itex]A. Show that S is an empty set.
3. Relevant equations
10.6 Proposition. For each set A, we have empty set [itex]\subseteq[/itex] A.
The Attempt at a Solution
Solution. Consider any set A and a set S such that S[itex]\subseteq[/itex]A. Choose any x[itex]\in[/itex]S. Then since S[itex]\subseteq[/itex]A we also have x[itex]\in[/itex]A. From proposition 10.6 we know that if x[itex]\subseteq[/itex]empty set, then x[itex]\subseteq[/itex]A. Now x is arbitrary. Thus S must be an empty set.
I feel like this proof is horrible and doesn't flow at all. Can someone give me some pointers?