positive linear functional

ordered vector space with a partial order

카테고리: