Definition:Equality of Cuts

From ProofWiki
Jump to navigation Jump to search

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.


Sources