Product of Cuts is Cut

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\alpha$ and $\beta$ be cuts.

Let $\alpha \beta$ denote the product of cuts.


Then $\alpha \beta$ is also a cut.


Thus the operation of multiplication on the set of cuts is closed.


Proof