[[!redirects Dedekind cut (disambiguation)]] < [[nlab:Dedekind cut]] category: redirected to nlab