∀ {α : Type u_1} {β : Type u_2} [inst : TopologicalSpace α] [inst_1 : TopologicalSpace β] {x : α} {S : Set α},
  IsGenericPoint x S → ∀ {f : α → β}, Continuous f → IsGenericPoint (f x) (closure (f '' S))