Un espacio topológico X es completamente regular si para cada punto formula_23 y cualquier cerrado formula_24 tal que x no pertenece a F existe una función continua formula_30 tal que formula_31 y formula_32.