Изменения

|definition=<tex>A</tex> '''m-эквивалентно''' <tex>B</tex>, если <tex>A\le_{m}B</tex> и <tex>B\le_{m}A</tex>. Обозначение: <tex>A\equiv_{m}B</tex>.