Изменения

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