Hello everyone.

I am trying to prove that if is dense then for any open we have . I tried assuming not, and I arrive at the statement and I can't see why that would be a contradiction.

Does anyone know of a good proof of this? Also, is it necessary that the T be open?