M* ist die Menge der Wörter über dem Alphabet M.
Also muss (A ∪ B)* die Menge der Wörter über dem Alphabet A ∪ B sein.
Das ist nicht das gleiche wie A* ∪ B*. Zum Beispiel ist mit A = {0,1} und B = {a,b}
0a1b ∈ (A ∪ B)*
wegen A ∪ B = {0,1,a,b} aber
0a1b ∉ A* ∪ B*
weil 0a1b ∉ A* und 0a1b ∉ B* ist.