Изменения

== 1. Отношения ==

## Определение степени отношения есть и здесь и в следующем конспекте, непорядок. Сделать ссылку на следующий вроде "Операции над отношениями"

## На виды и примеры отношений дать внутренние ссылки

# [[Транзитивное замыкание|Транзитивное замыкание отношения]]

## англоязычные термины

## пункт "Задача" не нужен

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

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

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