Множества и отношения

какому-либо признаку. Например, множество учащихся класса, множество букв алфавита, множество цифр десятичной нумерации, множество чисел первого десятка, множество натуральных чисел, множество точек на прямой, множество книг на полке и т. д.
Предметы, из которых состоит множество, называются его элементами (например, буква «к»- элемент множество букв русского алфавита).
Элементы множества обозначают малыми буквами латинского или греческого алфавита. Для обозначения множеств используют заглавные буквы латинского алфавита или запись со скобками. Например, А, В или {a; b; g}.
Запись a ΠА означает, что элемент a принадлежит множеству А. Запись aÏ А означает, что элемент a не принадлежит множеству А. Например, если N- множество натуральных чисел, то 2 ΠN, 0 Ï N.

называются равными (одинаковыми). Если множества А и B равны, то пишут А=B.
Если любой элемент множества B является и элементом множества А, то множество В называется подмножеством (частью) множества А. В том случае говорят, что В содержится в А или А содержит В, и пишут ВÌА или АÌ В.

По определению, пустое множество является подмножеством любого множества.
Таким образом, у любого множества А всегда имеются два очевидных подмножества А и Æ.

(ассоциативность)
Распределительные законы (дистрибутивность)
Законы включения

некоторые пары в связи с тем, что между их компонентами есть некоторые «родственные» отношения, которых нет у других. В качестве примера рассмотрим множество S студентов какого-нибудь техникума и множество D изучаемых там дисциплин. В декартовом произведении S´D можно выделить большое подмножество упорядоченных пар (s, d),обладающих свойством: студент s изучает дисциплину d. Построенное подмножество отражает отношение «изучает», естественно возникающее между множествами студентов и дисциплин.
Для строгого математического описания любых связей между элементами двух множеств вводится понятие бинарного отноше­ния, которое часто появляется как в ма­тематике, так и в информатике. Отношения между элементами не­скольких множеств (n-арные отношения) применяются для описания простой системы управления базами данных.

находится в отношении R с самим собой: хRх. Отношение R на множестве Х называется антирефлексивным, если для любого элемента из множества Х всегда ложно хRх:   .
-Симметричность;
Отношение R на множестве Х называется симметричным, если выполняется условие: из того, что элемент х находится в отношении с элементом y, следует, что и элемент y находится в отношении R с элементом х: xRy  yRx .
-Транзитивность
Отношение R на множестве Х называют транзитивным, если из того, что элемент х находится в отношении R с элементом y, а элемент y находится в отношении R с элементом z, следует, что элемент х находится в отношении R с элементом z: xRy и yRz  xRz.
-Связанность

Отношение R на множестве Х называется связанным, если для любых элементов х и y из данного множества выполняется условие: если х и y различны, то либо х находится в отношении R с элементом y.