*90. ON THE ANCESTRAL RELATION.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
This proposition shows that if is a hereditary class which contains , then contains all the descendants of 's.
*90·25.
Dem.
*90·26.
Dem.
*90·27.
Dem.
*90·31.
Dem.
In the last line of the above proof, the process is as follows. Writing for , (2) becomes , while (3) becomes . Hence, by (2) and (3), Hence, by *90·112, , which is the proposition to be proved.
*90·311.
Dem.
*90·32.
Dem.
*90·33.
Dem.
*90·331.
*90·34.
*90·341.
*90·35.
Dem.
*90·351.
Dem.
*90·36.
*90·4.
Dem.
*90·41.
Dem.
*90·42.
Dem.