Транзитивное замыкание отношения

Транзитивное замыкание отношения (Transitive closure of a relation) — для данного транзитивного бинарного отношения [math]\displaystyle{ \,R }[/math] такое отношение [math]\displaystyle{ R^{\ast} }[/math], что [math]\displaystyle{ xR^{\ast}y }[/math] тогда и только тогда, когда существует последовательность

[math]\displaystyle{ x = x_{0}, x_{1}, \ldots, x_{n} = y }[/math]

такая, что [math]\displaystyle{ \,n \gt 0 }[/math] и

[math]\displaystyle{ x_{i}Rx_{i+1}, \; i = 0, 1, 2, \ldots, n-1. }[/math]

Из свойства транзитивности следует, что

[math]\displaystyle{ xRy \Rightarrow xR^{\ast}y }[/math]

и что [math]\displaystyle{ \,R }[/math] является подмножеством [math]\displaystyle{ R_{\ast} }[/math]. Рефлексивное замыкание аналогично транзитивному замыканию, но включает и возможность [math]\displaystyle{ \,n=0 }[/math]. Транзитивное и рефлексивное замыкания играют важную роль в методах синтаксического анализа и компилирования, а также в методах отыскания путей на графе.

Литература

• Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.