 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.