[[!redirects ideal (ring theory)]] < [[nlab:ideal]] category: redirected to nlab