path: root/test/phase5/exact-relational-replacement-failure.tex

\begin{definition}\label{phase5_relational_prefix}
    $\phasefiverelationalprefix = \emptyset$.
\end{definition}

\begin{definition}\label{phase5_relational_nonfunctional}
    $\phasefivenonfunctional{A} = \{ y \mid \exists x\in A. y = y \}$.
\end{definition}