En análisis funcional, una funcional lineal "f" en una C* álgebra formula_1 es positiva si