F\cap U\neq\emptyset