. Thus
is defined by the selectors from a certain set of
classes each having
terms, but the set is one having a certain structure and a more manageable composition than is the case in general. The relevance of this to the multiplicative axiom will appear shortly.
What applies to exponentiation applies also to the product of two cardinals. We might define "
" as the sum of the numbers of