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