∀ {X : Type u_1} {Y : Type u_2} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y] {s : Set X},
  IsLocallyClosed s → ∀ {f : X → Y}, Topology.IsInducing f → IsLocallyClosed (Set.range f) → IsLocallyClosed (f '' s)