Multiplicatively closed ordinal (source code)

= Multiplicatively closed ordinal

= Multiplicatively indecomposable ordinal
{synonym}

An ordinal $\delta>2$ is multiplicatively closed when $\beta\gamma<\delta$ for all $\beta,\gamma<\delta$. These are exactly
$$
\delta=\omega^{\omega^\alpha}.
$$