[[!redirects iterated inverse image]] < [[nlab:iterated preimage]] category: redirected to nlab