Un espacio topológico X es regular si es formula_9 y para cada punto formula_23 y cualquier cerrado formula_24 tal que x no pertenece a F.