Es decir, formula_60 hereda de formula_58 la topología inducida por formula_4.