Prove that there is a computable relation $\displaystyle T(e,x,y)$ which holds if $\displaystyle y$ is the code number of a computation according to Turing program $\displaystyle P_e$ on input $\displaystyle x$ and that there is a computable partial function $\displaystyle U(y)$ which gives the output of the computation.

I could really use some help getting started on this one. Could I get a suggestion?