M1 = {1, 2, 2, 3, 9, 9, 15, 18, 23}
M2 = {1, 2, 2, 3, 9, 15, 18, 23}
Они отличаются одной цифрой 9, которая в одном множестве повторяется 1 раз, а в другом 2 раза.
По определению, множества равны друг другу, если каждый элемент одного множества присутствует также в другом множестве.
Спорная вторая 9 есть в обоих множествах и не отличается от первой 9.
Это значит, что эти множества одинаковы, потому что одинаковые элементы из множества можно убрать.
Тогда оно также равняется множеству:
M0 = {1, 2, 3, 9, 15, 18, 23}
Потому что одну 2 тоже можно убрать.