previous up next
Go backward to Motivation
Go up to Top
Go forward to Illustration
RISC-Linz logo

Big O Quantor

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

S = On(T)
is a proposition with bound variable n which is read as "S is big O of T" or "T asymptotically dominates S".

Its meaning is equivalent to the proposition

exists c in R, m in N: forall n >= 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

previous up next