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