There the generalization is also determined to always produce the most general type by introducing the function Γ ¯ ( τ ) {\displaystyle {\bar {\Gamma }}(\tau )} , which quantifies all monotype variables not bound in Γ {\displaystyle \Gamma } .
Hierbei ist die Generalisierung zudem durch die Einführung der Funktion Γ ¯ ( τ ) {\displaystyle {\bar {\Gamma }}(\tau )} so bestimmt, dass sie immer den allgemeinsten Typ erzeugt, indem sie alle nicht in Γ {\displaystyle \Gamma } gebundenen Monotypvariablen quantifiziert.