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