Por absurdo suponha que $ X \neq Y $. Considere o conjunto bem ordenado $X \setminus Y \subset X$, então $ \exists x \in $ $X \setminus Y$ tal que $x \leq k, \forall k \in$ $ X\setminus Y$. Considere então o conjunto $ \{ a \in X : a < x \} $, como $x$ é o menor elemento em $ X \setminus Y$, elementos menores que ele só podem existir em Y. Portanto $ \{ a \in X: a < x \} \subset Y$, portanto $x \in Y$ da hipótese. Contradição.