Dado un espacio topológico formula_1 y formula_2 un subconjunto de formula_1, se define la frontera de formula_2 como la intersección de la clausura de formula_2 con la clausura del complemento de formula_2, y se denota por formula_7.