Definable Global Invariant Extension of a Type over a Saturated Model