Son

In Bruno Poizat's terminology, if $$p$$ is a complete type over a model, a son of $$p$$ is a complete type over an elementary extension of $$M$$, extending $$p$$.