U∩CL(A)の任意の点について、
その任意の近傍がU∩Aと交わることを言えばいいと思う。