Изменения

M-сводимость

4 байта добавлено, 19:13, 12 декабря 2016

м

→‎Отношение эквивалентности

|statement=

Отношение сводимости является отношением эквивалентности

|proof= Следует из рефлексивности, ~~разрешимости~~ симметричности и транзитивности.

}}

177

правок