Hola eugeniamfai.
Es fácil verificar que
\( A\subseteq B\Rightarrow A=A\cap B \).
Con eso claro, en tu problema obtenemos
\( X=X-Y \), ya que \( X\subseteq Y^c \) por hipótesis y \( X-Y=X\cap Y^c \)
y
\( Z^c=Z^c\cap T \), ya que por hipótesis \( T^c\subseteq Z \), que es equivalente a \( Z^c\subseteq T \).
Sobre tu mensaje: lo edité para que las fórmulas se vean correctamente. Faltaba poner las etiquetas [tex] y [/tex], los símbolos unión e intersección se generan usando \cup y \cap, respectivamente. Para dudas específicas sobre cómo hacer algún símbolo el manual del foro es muy bueno:
https://foro.rinconmatematico.com/index.php?topic=870
