Positive linear functional

ウィキペディアから