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, ...].