[[!redirects sequential convergence space]] < [[nlab:sequential convergence space]] category: redirected to nlab