, but also in cases (as e.g. that of father and child) where there may be many terms to which

has the relation

. We define further:

A term

is a "proper ancestor" of

with respect to