Изменения

# {{Утверждение|about=самосводимость|statement=<tex>A\leqslant_{m}A</tex>.#*'''Доказательство:''' |proof=<tex>f(x)=x</tex>.# }} {{Утверждение|about=разрешимость|statement=Если <tex>A\leqslant_{m}B</tex> и <tex>B</tex> разрешимо, то <tex>A</tex> разрешимо.#*'''Доказательство:''' |proof=Пусть <tex>p</tex> — программа-разрешитель для <tex>B</tex>. Тогда для любого <tex>x\in A</tex> разрешитель должен вернуть значение <tex>p(f(x))</tex>.# }}  {{Утверждение|about=перечислимость|statement=Если <tex>A\leqslant_{m}B</tex> и <tex>B</tex> перечислимо, то <tex>A</tex> перечислимо.#*'''Доказательство:''' |proof=Аналогично предыдущему свойству.# }} {{Утверждение|about=транзитивность|statement=Если <tex>A\leqslant_{m}B</tex> и <tex>B\leqslant_{m}C</tex>, то <tex>A\leqslant_{m}C</tex>.#*'''Доказательство:''' |proof=Если <tex>f:A\to B</tex> и <tex>g:B\to C</tex>, то m-сводящая функция <tex>h:A\to C</tex> выглядит так <tex>h(x) = g(f(x))</tex>.}}