A continuous map between topological spaces is called a proper map if:

a$)$ It is surjective and closed.

b$)$ It is injective and open.

c$)$ It takes compact sets to compact sets.

d$)$ It is a covering map.