\forall_{O_a} U [\overline A \cap U \supset \{a\}]