previous up next
Go backward to Example
Go up to Top
Go forward to Series
RISC-Linz logo

Limit Quantor

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

limi -> 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

previous up next