1: \begin{definition}[Theorem of Kleene and Post]

2: By $\KPT:\IN^\IN\mto\IN^\IN$ we denote the function with

3: \[\KPT(r):=\{\langle p,q\rangle\in\IN^\IN:r\leqT \langle p,q\rangle\mbox{ and }p\nT q\}\]

4: for all $p\in\IN^\IN$.

5: \end{definition}

6: