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