Die 3. Zeile ist falsch.
Du kannst nicht (x∈A ∨ x∈B ) = B schreiben, denn links steht eine
Aussage und rechts von "gleich" eine Menge.
Sowas wie \( A \subseteq B \Rightarrow A \cup B=B \)
kann man doch so beweisen;
Sei \( A \subseteq B  \)  
Dann ist zu zeigen \(  A \cup B=B \)
Dazu zeigt man  \(  A \cup B   \subseteq B \) und  \(   B  \subseteq  A \cup B  \)
Betrachte dazu
1.     \( x ∈ A \cup B  \)  ==>   x ∈ A   oder   x ∈ B
           Wegen Sei \( A \subseteq B  \)  folgt aus  x ∈ A  doch sofort   x ∈ B
               Also jedenfalls  x ∈ B.
2.   \(  B  \subseteq  A \cup B  \)  .  Teilnehmer einer Vereinigung ist immer
           Teilmenge der Vereinigung. Also stimmt auch das.
                 q.e.d.