Lemma 3.8. Assuming that:

Then there is an injection from Y into P(X).