Quasi-finite morphism
= Quasi-finite morphism
{wiki}
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.