177
правок
Изменения
м
* рефлексивность: <tex> L \leqslant_T L </tex>{{Утверждение* транзитивность: из <tex> L \leqslant_T M </tex> и <tex> M \leqslant_T N</tex> следует <tex> L \leqslant_T N </tex>|id=th2* Очевидно, что <tex>\equiv_T</tex> — отношение |statement=Отношение сводимости является отношением эквивалентности}}
→Свойства
=== Свойства ===
=== Т-степени ===
