Library

Principia mathematica, vol. 1 (of 3)

*82. SELECTIONS FROM RELATIVE PRODUCTS.

Project Gutenberg EPUB3 edition Whitehead, Alfred North and Russell, Bertrand
Open passage
The propositions contained in this number are not much used except in connection with the associative law for cardinal multiplication, but they have a certain intrinsic interest. We prove in this number that, with a suitable hypothesis, ( results from by multiplying each member by , i.e.
Open passage
Also under a suitable hypothesis the domains of ( are the domains of , i.e.
Open passage
In the applications of propositions of the present number in *85, and are replaced by and . By *62·26, ; thus we obtain relations between and .

Source attribution

Principia mathematica, vol. 1 (of 3), Project Gutenberg eBook #78050

*81. SELECTIONS FROM MANY-ONE RELATIONS. *83. SELECTIONS FROM CLASSES OF CLASSES.