A function f: X → Y is a local homeomorphism if for every x in X, there exists a neighborhood U of x such that the restriction of f to U is a homeomorphism onto its image.
A function f: X → Y is a local homeomorphism if for every x in X, there exists a neighborhood U of x such that the restriction of f to U is a homeomorphism onto its image.