 Given formula_52, there is a family formula_53 over formula_54.If the structure map formula_55 is projective, then this functor is represented by the Hilbert scheme constructed above.Generalizing this to the case of maps of finite type requires the technology of algebraic spaces developed by Artin.