I have a hard time with your notation.
Have you shown that
Have you shown that .
where x is a set and is the power set of x.
This is the last part of the question, the former parts required me to prove:
where x and y are sets.
I can't get anywhere with this! I've tried using but I can't get it to work out. My main problem is that the first three parts of the questions gave me something to work with (ie. condition 1 allows me to use ). The last part doesn't give me any properties to use so i'm having some trouble trying to use the things I already know.
Does anyone have any ideas?
Ohh, [LaTeX ERROR: Convert failed] .
and we also know that
so my contains only elements from since . We know we have all the elements since and all the other subsets contain only some of these elements.
Hence the unionset axiom gives all the elements in giving that .
Is that right? The only way I could see of doing it was with analysing the definitions.
My main problem is the subset part. I can't seem to introduce anything that helps.
So yes, this is the part i'm having trouble showing: .