positive linear functional

ordered vector space with a partial order

分类: