En nuestro caso viene definida por la base (de topología) siguiente: formula_57, donde se define el disco abierto de centro formula_44 y radio formula_59 como el conjunto formula_60.