[[!redirects Dedekind real closed intervals]] [[!redirects rational closed intervals]] < [[nlab:Dedekind cut]] category: redirected to nlab