path: root/test/examples/separation.tex

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