65
правок
Изменения
→Псевдокод
'''foreach''' <tex>c \in X</tex>
'''if''' <tex>aRb</tex> '''and''' <tex>bRc</tex> '''and''' <tex>aRc</tex>
<tex>R^- </tex>.delete\setminus(pair<tex>\langle a, c\rangle)</tex>)
===Доказательство корректности===
