A state of the system is defined as a positive functional on A (a C-linear map φ : A → C with φ(u*u) ≥ 0 for all u ∈ A) such that φ(1) = 1.
Un estado do sistema defínese como unha funcional positiva en A, unha función C-lineal φ: A → C con φ(u, u*) > 0 para todo u ∈ A, tal que φ(1) = 1.