Definition. Integral morphism [00BS]

A morphism of schemes is integral if it is affine and for every affine open set with , the ring is an inegral extension of via