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