Supongo que la respuesta a mi pregunta es sí, pero quiero asegurarme porque mi libro utiliza ambos términos. Por favor también indicar donde cero cae en la mezcla.
ACTUALIZACIÓN:
Aquí es un extracto de mi libro:
La definición de Θ(g(n)) requiere que cada miembro de f(n) ϵ Θ(g(n)), asintóticamente no negativo, es decir, que f(n) ser no negativo siempre que n es lo suficientemente grande. (Un asintóticamente positiva, la función es uno que es positivo para todos lo suficientemente grande n.)