Archimedean ordered vector space (source code)

= Archimedean ordered vector space
{wiki=Archimedean_ordered_vector_space}

An **Archimedean ordered vector space** is a type of vector space equipped with a specific order structure that satisfies certain properties related to the Archimedean property.