Du hast die Definitionen von A∪B und von B∪A angewendet.
Diese Definitionen unterscheiden sich aber. In deiner Definition von A∪B steht z.B.
(x∈A)∨(x∈B),
während in deiner Definition von B∪A etwas anderes steht, nämlich
(x∈B)∨(x∈A).
Du müsstest noch begründen, warum das das gleiche ist.
Nebenbeibemerkt ist auch das Zeichen := nicht angebracht. Ein Term der Form
A := B
bedeutet "Ich verwende A als alternative Bezeichnung für B".
Insbesondere bedeutet "A := B" nicht "Laut Definition ist A eine alternative Bezeichnung für B".