[[!redirects Archimedean ordered abelian group]] < [[nlab:Archimedean group]] category: redirected to nlab