Man sagt, dass α {\displaystyle {}\alpha } aus Γ {\displaystyle {}\Gamma } ableitbar ist, wenn es endlich viele Ausdrücke α 1 , … , α n ∈ Γ {\displaystyle {}\alpha _{1},\ldots ,\alpha _{n}\in \Gamma } derart gibt, dass
gilt.