. And a number
will be said to belong to the "posterity" of
with respect to the relation
if
has every
