User:Tetrahedron93/Set

$$x \in B \cup C$$ $$x \in ( A:A \in B \land A \in C )$$ $$\therefore x\in B \land x \in C$$