as the number of selectors from
classes, each of which has
terms. But there are objections to this definition, derived from the fact that the multiplicative axiom (of which we shall speak shortly) is unnecessarily involved if it is adopted. We adopt instead the following construction:—
Let
be a class having
terms, and