\begin{proposition}\label{sep_test}
    $X = \{ x\in X\mid x = x\}$.
\end{proposition}