Sea X un espacio normal y F un subconjunto cerrado de X.