Изменения

Изначально матрица <tex>W</tex> заполняется соответственно отношению <tex>R</tex>, то есть <tex>W[i][j] = ((i, j) \subset R) </tex>. Затем внешним циклом перебираются все элементы множества <tex>Xk</tex> и для каждого множества <tex>kX</tex> и для каждого из них, если он может использоваться, как промежуточный для соединения двух элементов <tex>i</tex> и <tex>j</tex>, отношение <tex>T</tex> расширяется добавлением в него пары <tex>(i, j)</tex>.