is that relation which holds between
and
when there is an intermediate term
, such that
has the relation
