Page:Cantortransfinite.djvu/140

Rh The ordinal type of $$S$$ depends, as we easily see, only on the types $$\alpha$$ and $$\beta$$; we define (5) [503] In this product $$\alpha$$ is called the "multiplicand" and $$\beta$$ the "multiplier."

In any definite imaging of $$M$$ on $$M_n$$ let $$m_n$$ be the element of $$M_n$$ that corresponds to the element $$m$$ of $$M$$; we can then also write (6) Consider a third ordered aggregate $$P=\{p\}$$ with

But the two ordered aggregates $$\{(m_n)_p\}$$ and $$\{m_{(n_p)}\}$$ are similar, and are imaged on one another if we regard the elements $$(m_n)_p$$ and $$m_{(n_p)}$$ as corresponding.

Consequently, for three types $$\alpha$$, $$\beta$$, and $$\gamma$$ the associative law (7) subsists. From (1) and (5) follows easily the distributive law (8) but only in this form, where the factor with two terms is the multiplier.

On the contrary, in the multiplication of types as in their addition, the commutative law is not