Thank you very much.
Got it.
I was going a bit off tangent here (the axiom of choice and all that). Was thinking how one should construct P , when it was already given.