Go backward to Go up to Top Go forward to Monotonicity |
Definition: For every variable i and term T, the phrase
[T]iis a term with bound variable i whose value is the sequence
[T]i: N -> R [T]i(i) := T.
Example: [a2+c]a = [0+c, 1+c, 4+c, 9+c, ...].