Order Type Multiplication is Associative

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\alpha$, $\beta$ and $\gamma$ be order types of ordered sets.

Then:

$\paren {\alpha \cdot \beta} \cdot \gamma = \alpha \cdot \paren {\beta \cdot \gamma}$

where $\cdot$ denotes order type multiplication.


Proof




Sources