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?

  • 2
    $\begingroup$ Your proof is fine and sufficienlty formal. Good job (: $\endgroup$ Jul 25, 2016 at 22:42

1 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.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .