Словарь терминов
Универсальное множество
Множество, которое содержит все возможные элементы, встречающиеся в данной задаче.
Алгебра множеств
Класс множеств 
называется алгеброй (множеств), если
1. 
,
2. Если А, 
, то 
,
3. Если А, , то 
.
Бесконечное множество
Множество, содержащее неограниченное число элементов
Дополнение
Дополнение (отрицание) (читается "не А") есть множество U\A.
Отрицание
Конечное множестро
Множество, содержащее конечное число элементов
Множеством-степень
Множество всех подмножеств заданного множества
Мощность множества
Число элементов в конечном множестве
Нестрогое включение
Несобственное подмножество множества, возможно совпадающее с ним.
Объединение множеств
Множество, которое содержит все элементы, входящие либо в первое, либо во второе, либо в оба одновременно.
Сумма множеств
Пересечение множеств
Множество, содержащее только элементы, входящие в оба множества одновременно.
Произведение множеств
Подмножество
Множество А, все элементы которого принадлежат множеству В, называется подмножеством множества В.
Равенство множеств
Неупорядоченные множества равны, если они содержат одинаковый набор элементов.
Разность множеств
Разность A\B есть множество, содержащее все элементы A, не входящие в B.
Строгое включение
Содмножество множества, не совпадающее с ним.
Упорядоченное множество
Множество, в котором важны не только его элементы, но и порядок их следования во множестве.
Элементы множества
это объекты, которые образуют данное множество, и могут обладать некоторыми свойствами и находиться в некоторых отношениях между собой или с элементами других множеств