Here is the problem. Prove that
Where means the set of
functions from to .
So I have to come up with some kind of bijection between the two sets. Anything
which belongs to is a subset of
. I will need to associate this to some function from
I am having difficulty coming up with such a bijection. Is it too difficult?. Or is there another approach to tackle this problem ?