1: \begin{definition}

2: \label{de:pi} 

3: When $\pi$-points $\alpha$ and $\beta$ satisfy the conditions of Theorem~\ref{th:pi-equivalence}, they are said to be

4: \emph{equivalent}, and denoted $\alpha\sim\beta$.

5: \end{definition}

6: