[[!redirects rational numbers]] < [[nlab:rational numbers]] category: redirected to nlab