A los elementos de la colección formula_13 se les denomina abiertos de la topología formula_13, y al par formula_20 se le denomina espacio topológico.