This is LaTeX code:

[latex]
 
B\cap Y=\emptyset \rightarrow (A\cup B)\cap Y=\emptyset \rightarrow
 
[/latex]