[[!redirects Dedekind complete Archimedean ordered integral domain]] < [[nlab:real number]] category: redirected to nlab