rationalization (algebraic topology)