Was genau meinst du mit [M] + [N] ? Soweit ich das sehe, kommst du nur zu dem Punkt
, wobei j über M und l über N rennt.
Am einfachsten ist es wohl ganz einfach direkt Inklusion beider Mengen in die jeweils andere zu zeigen.
Etwa so: Ang.
aber
d.h.
was weiter heißt
(Wobei ck Kombinationen aus den ak's sind)
woraus folgt
was ein Widerspruch zu unserer Annahme steht, weswegen
Teilmenge von
. Und natürlich dann auch in die andere Richtung (Denk dir die Quantoren einfach dazu, ich war grad zu faul den Latex code zu suchen. ^^" )