∀ {X : Type u} {Y : Type v} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y] {e : X → Y},
  Topology.IsInducing e → ∀ {s : Set Y} (hs : ∀ (x : X), e x ∈ s), Topology.IsInducing (Set.codRestrict e s hs)