A = {а1, а2,…};
2) множество может быть задано условием, позволяющим отличать его элементы среди всех других. В этом случае каждый элемент множества удовлетворяет заданному условию и ни один элемент, не принадлежащий данному множеству, не удовлетворяет указанному условию. Тогда применяется следующая запись:
А = {а /условие}
Итак, мы определили понятия множества и подмножества. Полезно также ввести понятия надмножества как множества, содержащего данное множество:
A′ ⊃ A,
и понятие пустого множества, как множества, не содержащего ни одного элемента (обозначается Ø). Пустое множество по определению является подмножеством любого множества.
Введем теперь понятие объединения множеств. Множество С является объединением множеств А и В, если каждый элемент С является либо элементом А, либо элементом В. В принятой символике это можно записать так:
С = А ∪ В⇒ (∀ с ∈ С ⇒ с ∈ А v с ∈ В), (2)
Аналогично можно определить понятие пересечения двух множеств. Множество С является пересечением множеств А и В, если каждый элемент С является одновременно и элементом А и элементом В, т. е. С есть множество общих элементов А и В. Если, однако, у А и В о нет общих элементов, то С есть пустое множество. Это можно записать так:
С = А ∩ В ⇒ (с ∈ С ⇒ с ∈ А ∧ с ∈ В), (3)
Если В является подмножеством А, то можно определить понятие разность множеств А и В как множество тех элементов А, которые не являются одновременно элементами множества В.
В = А\В, (4)
Разность А и В называется также дополнением В в А.
Введем теперь понятие пары объектов. Этими объектами могут быть как элементы множеств, так и сами множества. В понятии пары кроме количества выбираемых объектов фиксируется также порядок их следования. Так, например, если A ≠ В, то две пары множеств (А, В) и (В, А) не являются равными: (А, В) ≠ (В, A). Рассмотрим теперь множество всех пар элементов множества А, оно называется декартовым квадратом множества и обозначается А2, Смысл такого названия в том, что если множество А содержит k элементов, то количество упорядоченных пар будет равно k2.
Итак, декартов квадрат множества А сам является некоторым множеством. Любое его подмножество будем называть бинарным отношением, заданным на множестве А. (Отметим, что все другие виды отношений, которые можно определить на множестве А, также являются подмножествами, но уже не декартова квадрата А, а любой другой декартовой степени А, т. е. являются множествами троек, четверок и т. д. элементов из А.)
Так как понятие отношения является одним из важнейших понятий современной психологии, остановимся подробнее на уяснении смысла его точного определения, приведенного выше. Первое, что бросается в глаза это то, что отношение является некоторым множеством.