Go backward to Go up to TopGo forward to Monotonicity |

*Definition:*
For every variable `i` and term `T`, the phrase

[is a term with bound variableT]_{i}

[ T]_{i}:N->R[ T]_{i}(i) :=T.

*Example:*
[`a`^{2}+`c`]_{a} = [0+`c`, 1+`c`, 4+`c`,
9+`c`, ...].

Author: Wolfgang Schreiner

Last Modification: December 14, 1999