Definition:Equality of Cuts

Definition
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.