Given any term having the relation

to

,

-converges into the successors of

(with respect to