proper mapDefinitionSuppose X and Y are topological spaces, and f is a map f:X→Y.Then f is a proper map if the inverse image of every compactsubset in Y of is a compact set in X.