例えば: "x" がハウスドルフで "y" が局所コンパクトかつハウスドルフで "p" : "x" → "y" が局所同相写像であれば、"p" は被覆写像である。