Транзитивное отношение

Бинарное отношение [math]R[/math] на множестве [math]X[/math] называется транзитивным , если для любых трёх элементов [math]a, b, c[/math] из выполнения отношений [math] aRb [/math] и [math] bRc [/math] следует выполнение отношения [math] aRc [/math] .

Выбор параметров внешности продиктован: