Dicha topología se denomina topología inducida por formula_4 en formula_1.