Introduction to Mathematical Philosophy

by Bertrand Russell

is an ancestor of

but not identical with

, or (what comes to the same thing) when the successor of

is an ancestor of

in the sense in which a number is its own ancestor. That is to say, we shall lay down the following definition:—