2.2.1. Definiciones.
Orden de complejidad de f(n): O(f)
Dada una función f: N ? R+, llamamos orden de f al conjunto de todas las funciones de N en R+ acotadas superiormente por un múltiplo real positivo de f, para valores de n suficientemente grandes.
O(f)= { t: N ? R+ / ? c ? R+, ? n0 ? N, ? n ? n0: t(n) ? c·f(n) }