Изменения

'''Транзитивным замыканием''' <math>\mathrm{TrCl}(R)</math> отношения <math>R</math> на множестве <math>X</math> называется пересечение всех транзитивных отношений, содержащих <math>R</math> как подмножество (иначе, минимальное транзитивное отношение, содержащее <math>R</math> как подмножество). Например, если <math>V</math> - множество городов, и на них задано отношение <math>R</math>, означающее, что если <math>x R y</math>, то "существует автобусный маршрут из x в y", то транзитивным замыканием этого отношения будет отношение "существует возможность добраться из x в y, передвигаясь на автобусах".