Is there a formal way to show that $X \cap Y \subseteq X$.

Question

The question is in the title. It is trivial that $X \cap Y \subseteq X$. Because $X \cap Y$ only contains elements that are both in $X$ and in $Y$. So every element in $X \cap Y$ is also an element of $X$ and so $X \cap Y \subseteq X$ is true.
Is there a more formal way to proof this?

Answer 1

Use the definition of subset ($A\subseteq B$ if $x\in A$ implies $x\in B$) and the definition of intersection.

Let $x\in X\cap Y$. Then $x\in X$ (and $x\in Y$) by the definition of intersection.