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".