Множество — это совокупность некоторых объектов, объединенных по какому- либо общему для них признаку. Объекты, из которых состоит множество, называются его элементами. Множество, не имеющее элементов, называют пустым и обозначают ∅. Существуют два основных способа задания множеств: перечисление и описание его элементов. Перечисление состоит в получении полного списка элементов множества, а описание заключается в задании такого свойства, которым элементы данного множества обладают, а все остальные нет.
Два множества А и В называются равными ( А = В ), если они состоят из одних и тех же элементов.
Сумма (объединение) множеств А и В есть множество элементов, каждый из которых принадлежит либо А, либо В. Обозначение: . Произведение (пересечение) множеств А и В есть множество элементов, каждый из которых принадлежит и А, и В. Обозначение: . Разность множеств А и В есть множество элементов, которые принадлежат множеству А, но не принадлежат множеству В.
Диаграмма Венна — схематичное изображение всех возможных пересечений нескольких (часто — трёх) множеств.