"
-converges into
as the argument approaches a given argument
" if there is a term
having the relation
