Изменения

|definition=Множество <tex>A</tex> '''m-сводится''' ко множеству <tex>B</tex>, если существует всюду определённая вычислимая функция <tex>f:Ux\in A\Leftrightarrow f(x)\rightarrow Uin B</tex> со свойством , то есть <tex>\forall{x}:x\in f(A) \Leftrightarrow subset B</tex> и <tex>f(x\overline{A})\in subset \overline{B}</tex>. Обозначение: <tex>A\le_{m}B</tex>.