(\forall U_x)(A\setminus \{x\}) \cap U_x \neq \emptyset