Nótese además que dicho conjunto es no vacío pues "f(x)=O(g(x))".