Una cota superior asintótica es una función que sirve de cota superior de otra función cuando el argumento tiende a infinito.

Usualmente se denota O(g(n)) para referirse a las funciones acotadas superiormente por la funcion g(n).

Formalmente se define de la siguiente manera:

O(g(n)) = { f(n) : existen c, m > 0 tales que para toda n > m : 0 <= f(n) <= c*g(n) }