*53. MISCELLANEOUS PROPOSITIONS INVOLVING UNIT CLASSES.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
Summary of *53.
The propositions to be given in this number are mostly such as would have come more naturally at an earlier stage, but could not be given sooner because they involved unit classes. It is to be observed that is the class consisting of the members and , while is the relation which holds only between and . If and are classes, is a class of classes, its members being and . If and are relations, is a relation of relations; and so on.
The present number begins by connecting products and sums , , , , in cases where the members of or are specified, with the products or sums , , , . We have
*53·01.
*53·1.
*53·14.
with similar propositions for , and .
We have next a set of propositions on sums and products of classes of unit classes. The most important of these is
*53·22.
We have next a proposition showing that the sum of is null when, and only when, is either null or has the null-class for its only member, i.e.
*53·24.
(Here we write "," to show that the "" in question is of the next type above that of the other two 's.)
We have next various propositions on the relations of and and in various cases, first for a general relation , and then for the particular relation defined in *40. Three of these propositions are very frequently used, namely:
*53·3.
*53·301.
*53·31.
The remaining propositions of this number are of less importance, and are seldom referred to.
*53·01.
Dem.
*53·02.
Dem.
*53·03.
*53·04.
*53·1.
Dem.
This proposition can be extended to , etc. It shows the connection (for finite classes of classes) between the product and the product of the members
*53·11.
Dem.
Similar remarks apply to this proposition as to *53·1.
*53·12.
This proposition shows the connection between the product for a class consisting of two relations and , and the product . The proposition can be extended to the product of any given finite class of relations.
*53·13.
Similar remarks apply to this proposition as to *53·12.
*53·14.
Dem.
*53·15.
*53·16.
*53·17.
The above proposition and the next are both used in connection with mathematical induction (*91·55 and *97·46 respectively).
*53·18.