En análisis funcional, un elemento de una C* álgebra es un elemento positivo si su espectro consiste en números reales positivos.