Hello deathbyproofsYes, you are quite right. So if we're going to prove the statement, all we need to do is to find a function that does this.

Well, the power set is the set of all the subsets of . So, for any . Therefore if we define as , that would do it.

Grandad