Positive Operatoren

Ein linearer Operator (s. [12.2], [12.20]) des geordneten Vektorraums in den geordneten Vektorraum heißt positiv, wenn gilt:

(12.33)