[[!redirects locale of open intervals]] < [[nlab:locale of real numbers]] category: redirected to nlab