Sea Cl(X) dicha clausura, entonces se cumple que X es un subconjunto denso en Cl(X).