Введем понятие транзитивного замыкания, связанное с бинарными отношениями, которое понадобится в дальнейшем.