Go backward to ExampleGo up to TopGo forward to Series |

*Definition:*
For every variable `i` and term `T`, the following phrase
represents a term
with bound variable `i`:

lim_{i -> oo }T

The value of this term is that of the term

lim([ T]_{i}).

*Further Results:* see lecture notes.

Author: Wolfgang Schreiner

Last Modification: December 14, 1999