On the Order Dual of a Riesz Space

摘要

The order-bounded linear functionals on a Riesz space are investigated constructively. Two classically equivalent notions of positivity for linear functionals, and their relation to the strong extensionality, are examined. A necessary and sufficient condition for the existence of the supremum of two elements of the order dual of a Riesz space with unit is obtained.