Let and . DefineProve that is a function from to .
My proof (so far):
Let , then and .
Let , and .
If then .
Define as , however and and .
This shows is a function from to as then .
I know that it is not well written out, but I was wondering if my thought process so far made sense or if I accidentally missed something. Additionally, I am unsure of what the next step may be. As a sidenote, I am worried that this does not work for the given definition of .