-posterity" and "
-ancestors" when these terms seem more convenient.
Reverting now to the generation of series by the relation
between consecutive terms, we see that, if this method is to be possible, the relation "proper
-ancestor" must be an aliorelative, transitive, and connected. Under what circumstances will this occur? It will always be transitive: no matter what sort of relation
may be, "