[[!redirects Dedekind cut structure real numbers]] < [[nlab:Dedekind cut structure]] category: redirected to nlab