Доказательство формулы включений и исключений

[arseniiv]

(Мультимножества)

Sonic86 в сообщении #1199062 писал(а):

Ну ок, но ИМХО все равно менее красиво.

Можно ещё, кстати, определить аналог симметрической разности — тут будут модули разностей чисел вхождений.

Sonic86 в сообщении #1199062 писал(а):

оно требует наименьших усилий мозга - вся сложность вынесена в формальные преобразования многочленов

Да, согласен.

[Sonic86]

Rusit8800 в сообщении #1199099 писал(а):

Непонятно только, как идет пересечение данных мультимножеств. По такому аддитивному правилу мне не удалось это сделать.

Я не понял вопрос (куда идет пересечение? что такое "аддитивное правило"?). Сформулируйте подробнее пожалуйста.
Пересечение мультимножеств вычисляется так: $[1;2;2;3;3;3]\cap [1;1;1;2;2;3]=[1;2;2;3]$