2.2.1. Definiciones.
Orden exacto de f(n): ?(f)
Dada una función f: N ? R+, llamamos orden exacto de f al conjunto de todas las funciones de N en R+ que crecen igual que f, asintóticamente y salvo constantes.
= { t: N ? R+ / ? c, d ? R+, ? n0 ? N, ? n ? n0: c·f(n) ? t(n) ? d·f(n) }