A mapping f: X → Y of topological spaces is called proper if the inverse image of any compact set is compact. The practical upshot of this definition is that the boundary goes to the boundary.