Изменения

'''Язык <tex>L_1</tex> сводится к языку <tex>L_2\widetilde{D}</tex> относительно -сводится по Карпу к языку <tex>\widetilde{D}L_2</tex> (<tex>L_1 \leq_{\widetilde{D}} L_2</tex>)''', если существует такая функция <tex>f</tex> из <tex>\widetilde{D}</tex>, что <tex>x</tex> принадлежит <tex>L_1</tex> тогда и только тогда, когда <tex>f(x)</tex> принадлежит <tex>L_2</tex>:<br>

{{Определение|definition =Сведение относительно '''Замечание.''' Часто используется сведение из <tex>\mathrm{\widetilde{P}}</tex> называется '''сведением по Карпу'''.}}'''Замечание.''' Часто используется именно сведение по Карпу, поэтому слова «относительно <tex>\widetilde{P}</tex>-сведения по Карпу» и индекс у символа сведения обычно опускают.