proper morphism
in algebraic geometry, an analogue of a proper map for algebraic varieties
finite morphism
scheme morphism such that, with respect to a suitable open cover, is locally of the form Spec(A)→Spec(B) where A is a finitely generated module over B