This is LaTeX code:
[latex]
\displaystyle \bigcup_{a \in A} [ a ] = \bigcup_{a \in A} \{ x \in A : x \equiv a \} \supseteq A
[/latex]