Riesz space (
original
) (
raw
)
Partially ordered vector space, ordered as a lattice