A continuous map π:πβπ between topological spaces is locally injective at a pointπ₯βπ if π₯ has an (open) neighbourhood π such that πβΎπ is an injection.
It is locally injective if it is locally injective at every point. topology
Properties
Every injection between topological spaces is a local injection