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