I mean I think you are already pretty much done. I am guessing from your notation this is what you mean. You know since and then there must exist injective functions and . But then it is pretty obvious that defined by would also be injective. Just write out definitions and it is clear.