\alpha \cdot \beta = sup\{ \alpha \cdot \gamma : \gamma < \beta \}