Positive functional

It is a functional of an algebra that takes positive values when evaluated on positive observables .