Positive linear functional
= Positive linear functional
{wiki}
A linear functional $\Lambda$ on an ordered vector space of functions is positive when $f\geq0$ implies $\Lambda(f)\geq0$. Positivity implies monotonicity: $f\leq g$ gives $\Lambda(f)\leq\Lambda(g)$.