Определение. Неупорядоченные множества равны, если они содержат одинаковый набор элементов. Обозначается A=B. Если множества не равны, это обозначается . <span> Определение. Число элементов в конечном множестве М обозначается . </span><span> Для
множеств A и B с бесконечным или большим числом элементов проверка
совпадения наборов всех элементов может быть практически
затруднительной. Более эффективной оказывается логическая проверка двухстороннего включения. А именно, А=В тогда и только тогда, когда из следует и из следует . </span> Пример. Пусть заданы множества A = {1,2,3,4,5}; B - множество натуральных чисел от 1 до 5;<span />D = {4,1,5,2,3}.<span>Эти множества содержат один набор элементов, поэтому A=B=C=D.</span>