Riesz space (source code)

= Riesz space
{wiki=Riesz_space}

A **Riesz space** (also known as a **vector lattice**) is a specific type of ordered vector space that combines both vector space and lattice structures.