Изменения

Пусть первоначально <tex>R^-=R</tex>. Чтобы найти минимальное отношение сделать <tex>R^-</tex> минимальным отношением на <tex>X</tex> такое, таким, что транзитивное замыкание <tex>R^-</tex> будет равно транзитивному замыканию <tex>R</tex>, рассмотрим всевозможные комбинации из каждых трёх элементов <tex>a, b, c \in X</tex>. И если Если для этих элементов существуют отношения существует каждое из отношений: <tex>aRb</tex>, <tex>bRc</tex> и <tex>aRc</tex>, {{---}} то избавимся от отношения исключим отношение <tex>aRc</tex> из <tex>R^-</tex>. После проверки всех комбинаций и исключения ненужных отношений получаем искомое отношение <tex>R^-</tex>.