Un "estado" del sistema se define como una funcional positiva en "A", una función C-lineal φ: "A" → C con φ("u"·"u") > 0 para todo "u" ∈ "A", tal que φ(1) = 1.