*91. ON POWERS OF A RELATION.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
*91·26.
*91·261.
*91·262.
*91·263.
*91·264.
*91·27.
Dem.
*91·271.
Dem.
*91·28.
*91·281.
*91·282.
*91·283.
The following propositions show that the relative product of two powers of is commutative, i.e. (cf. *91·34)
We also have (cf. *91·341)
It is these propositions (as will appear in the sequel) which are the source of the commutative law for the addition of finite ordinals. Ordinals in general are not commutative, just as relative products in general are not commutative; but owing to the fact that relative products whose factors are powers of a given relation are commutative, finite ordinals are commutative.
*91·3.
Dem.
*91·301.
*91·302.
Dem.
*91·303.
*91·304.
*91·31.
*91·33.
Dem.
*91·331.
Dem.
*91·34.
Dem.
This is the commutative law for the relative product of two powers of .
*91·341.
Dem.
*91·342.
Dem.
*91·343.
*91·35.
*91·351.
*91·352.
*91·36.