 Quasi-finite morphism

A finite-type morphism of schemes is quasi-finite if its fibres are finite discrete schemes. A proper quasi-finite morphism is a finite morphism. In particular, a proper finite-type morphism of projective varieties with no positive-dimensional fibres is finite; a positive-dimensional projective fibre would contain an integral curve.