Изменения

Тикеты индексируются как "X-Y", где X — номер раздела, Y — номер конспекта внутри раздела

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

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

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

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

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

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

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