Dが稠密⇔D∩W ≠ φ (∀W nonempty open )
U,Vがdense open → U∩V∩W ≠ φ (∀W nonempty open )