Na análise de complexidade de algoritmo, uma função f(n) é Ω (t(n)) se, e somente se, a seguintecondição for satisfeita, onde c e k são constantes positivas:
- A 0 ≤ c .t(n) ≤ f(n) ∀ n ≥ k
- B 0 ≤ c .t(n) < f(n) ∀ c ≥ n
- C 0 < c . f(n) ≤ t(n) ∀ c ≥ n
- D 0 < f(n) < c .t(n) ∀ c ≥ k
- E 0 ≤ f(n) ≤ c .t(n) ∀ n ≥ k