\begin{definition}[Definition:Equality of Cuts]
Let $\alpha$ and $\beta$ be cuts such that:
:$p \in \alpha \implies p \in \beta$
:$q \in \beta \implies q \in \alpha$
Then $\alpha$ and $\beta$ are '''equal'''.
\end{definition}