Отношение

1. Бинарное отношение на X - любое подмножество прямого произведения   X×X.

2. Единичное отношение e_x на X содержит только пары (x,x).

3. Полное отношение U = X×X.

4. Обратное отношение  ^{ 1} = {(x,y)(y,x)  }.

5. Отношение  на X рефлексивно, если для любого x  X пара (x,x)  .

6. Отношение  на X антирефлексивно, если для любого x  X пара (x,x)  .

7. Отношение  на X симметрично, если для любой пары (x,y) из условия (x,y)   следует (y,x)  .

8. Отношение  на X антисимметрично, если из условия (x,y)   и (y,x)   следует x=y.

9. Отношение  на X асимметрично, если для любой пары (x,y) из условия (x,y)   следует (y,x)  .

10. Отношение  на X транзитивно, если для любых двух пар (x,y) и (y,z) из условия (x,y)  и (y,z)   следует (x,z)  .

11. Композиция бинарных отношений  и  на X называют отношение

12. Теорема.Отношение  транзитивно тогда и только тогда, когда   .

13. Отношение ^{^} называют замыканием отношения  на свойство A , если ^{^} обладает свойством A,   ^{^} и для любого отношениясо свойством A , ^{^}  .

14. Транзитивное замыкание произвольного отношения имеет вид ⁺ = _{k = 1}^ ^k

15. Рефлексивное транзитивное замыкание отношения имеет вид ⁺ = _{k = 0}^ ^k

16. Алгоритм Уоршолла транзитивного замыкания. Рассмотрим булеву матрицу M отношения. Если m_ij = 1,i  j, то i-я строку матрицы заменяем поэлементной дизъюнкцией i-й и j-й строк матрицы. Процедуру повторяем до техпор, пока процесс не установится - матрица перестанет изменяться.

17. Отношение называют отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.

18. Множество элементов из X, эквивалентных некоторому элементу x₀ , называется классом эквивалентности элемента x₀ . Обозначения класса эквивалентности [x₀ ].

19. Множество всех классов эквивалентности - фактор-множество.

20. Мощность фактор-множества - индекс разбиения.

21. Любое отношение эквивалентности порождает разбиение.

22. Любое разбиение порождает отношение эквивалентности.

23. Отношение называют предпорядком, если оно рефлексивно и транзитивно.

24. Отношение называют порядком, если оно рефлексивно, антисимметрично итранзитивно.

25. Порядок  называется линейным (или полным), если для любых элементов xy или yx. В противном случае - частичный порядок.

26. Отношение называют строгим порядком, если оно асимметрично и транзитивно.

27. Элемент y  X накрывает элемент x  X, если x << y и не существует элемента z  X такого, что x << z << y.

28. Любое упорядоченное множество можно представить диаграммой Хассе.

29. Пусть  есть частичный порядок на X. Отношение на элементах прямого произведения (x,y)(a,b) называется отношением Парето, если оно выполняется в том и только в том случае, когда xa и yb.

30. Алфавит - множество символов с отношением линейного порядка.

31. Лексикографический  порядок a₁ << a₂ , где a₁= x₁₁x₁₂ ...x_1i ..x_1n и a₂ = x₂₁ x₂₂ ...x_2i ..x_2m на алфавите задается одним из двух условий 1) a₁= bx_1i c, a₂ = bx_2id, где b,c,d - некоторые слова, возможно пустые, а символы x_1i и x_2iсвязаны отношением линейного порядка x_1ix_2i или 2) a₁ = a₂f, где f- некоторое непустое слово.