Library

Principia mathematica, vol. 1 (of 3)

*91. ON POWERS OF A RELATION.

Project Gutenberg EPUB3 edition Whitehead, Alfred North and Russell, Bertrand
Open passage
This formula should be compared with *90·11, in which an analogous formula is given for . It will be observed that here we do not require to add , for if , the above formula leads to , i.e. to . Hence , i.e. . It will be observed that holds whenever belongs to every hereditary class which contains the immediate successors of , whereas holds whenever belongs to every hereditary class to which itself belongs.
Open passage
The above proposition is used in the theory of minimum points in a series (*205·68).

Source attribution

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

*90. ON THE ANCESTRAL RELATION. *92. POWERS OF ONE-MANY AND MANY-ONE RELATIONS.