M2 = {1,2} ; M3 = {3,4}
Dann ist {a,b} ∉ P(M2 ∪ M3), also ist P(M2 ∪ M3) = P(M2) ∪ P(M3) ∪ {{a,b}} nicht erfüllt.
Nemen wir stattdessen mal M2 = {1,a} ; M3 = {3,b}.
Dann ist
P(M2) ∪ P(M3) = {∅, {1}, {a}, {1,a}, {3}, {b}, {3,b}}
und
P(M2 ∪ M3) = {∅, {1}, {a}, {1,a}, {3}, {b}, {3,b},
{1,3}, {1,b}, {a,3} {a,b}, {1,3,b}, {a,3,b}, {1,a,3}, {1,a,b}, {1,a,3,b}}
= P(M2) ∪ P(M3) ∪{{1,3}, {1,b}, {a,3} {a,b}, {1,3,b}, {a,3,b}, {1,a,3}, {1,a,b}, {1,a,3,b}}.
Passt also auch nicht so ganz.