Изменения
→Т-степени
}}
На Т-степенях можно ввести частичный порядок: для <tex>d_1, d_2 \in \mathcal{D}_T, d_1 \le leqslant d_2</tex>, если для каких-то <tex>L \in d_1, M \in d_2: L \leqslant_T M</tex>, определение корректно, так как порядок не будет зависеть от выбора представителя Т-степени.
==== Свойства ====
* <tex>f <_T H^f</tex>
* Если <tex>f \le_T leqslant_T g</tex>, то <tex>H^f \le_T leqslant_T H^g</tex>
Тогда тьюринговым скачком Т-степени <tex>d</tex> называется Т-степень языка <tex>H^L</tex>, где <tex>L</tex> — произвольный язык в <tex>d</tex>. Заметим, что если <tex>L \equiv_T M</tex>, то <tex>H^L \equiv_T H^M</tex>, поэтому определение корректно. Оператор тьюрингова скачка обозначим как <tex>J : \mathcal{D}_T \to \mathcal{D}_T</tex>.
