- #1
Aaron7
- 14
- 0
Homework Statement
With X and Y being sets, I need to show that there is a bijection between the set of functions (X->P(Y)) and the set of relations P(X x Y) where P(..) is the power set symbol.
Homework Equations
P(Y) = {Z | Z subset of Y}
The Attempt at a Solution
I know a bijection is injective and surjective. The set of functions is {f ε P(X x P(Y)) | f is a function}. I also know that a function is bijective if it has an inverse. I am not too sure where to start or whether I am missing something. I have been trying to find a function and then show it has an inverse but I am stuck.
Thanks for the help.