Źródło TeX:

W\subseteq\ U,\ U\cup\ V\subseteq\ X,\ U\cap\ V=\Phi