Usualmente se utiliza la notación Ω(g(x)) para referirse a las funciones acotadas inferiormente por la función g(x).
Más formalmente se define: Una función f(x) pertenece a Ω(g(x)) cuando existe una constante positiva c tal que a partir de un valor
Quiere decir que la función f es superior a g a partir de un valor dado salvo por un factor constante.
La cota inferior asintótica tiene utilidad en Teoría de la complejidad computacional a la hora de calcular la complejidad del mejor caso para los algoritmos.
La cota ajustada asintótica (notación Θ) tiene relación con las cotas superior (notación O) e inferior asintóticas :