Go backward to MotivationGo up to TopGo forward to Illustration |

*Definition:*
For every variable `n` and terms `S` and `T`, the phrase

is a proposition with bound variableS= O_{n}(T)

Its meaning is equivalent to the proposition

existscinR,minN:foralln>=m: |S| <=c*|T|.

Usually the subscript `n` is dropped and the bound variable has to be
deduced from the context.

Author: Wolfgang Schreiner

Last Modification: December 14, 1999