Между множествами могут быть следующие отношения: включение (одно множество содержится в другом), равенство (множества идентичны), пересечение (общие элементы), объединение (составление нового множества из элементов обоих), разность (элементы, принадлежащие только одному множеству), и симметрическая разность (элементы, принадлежащие только одному из двух множеств).