Изменения

## Исправить кривой местами tex

## Заменить ссылки на источники информации

## Отформатировать псевдокод

## Добавить ссылок в источники информации

## интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.

## Отформатировать псевдокод

## Добавить категории

## возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"

## если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец

== 2. Булевы функции ==