positive linear functional

ordered vector space with a partial order

Categorie: