generically finite morphismLet f:X→Y be a morphism of schemes. Assume Y is irreducible and let y be the generic point of Y. Then f is generically finite if f-1(y) is finite.