Archimedean ordered

1. REDIRECT Archimedean ordered vector space

{{Redirect category shell|

{{R from move}}

}}