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
closed immersion
morphism of schemes f: X → Y such that the induced morphism from the structure sheaf of Y to its pullback onto Y is surjective; equivalently, one that can be defined by a quasicoherent sheaf of ideals