Satz Jede Sprache ist einseitig Turing-reduzierbar zu ihrem Jump

Einfache Sprache

Def. Satz Jede Sprache ist einseitig Turing-reduzierbar zu ihrem Jump

Jede Sprache $L$ ist einseitig Turing-reduzierbar zu ihrem Jump aber nicht anders herum. Also

$$L <_T \mathrm{jump}(L)\;.$$