Ausdrucksmenge/Enthält Beispiele/Definition

Ausdrucksmenge enthält Beispiele

Man sagt, dass eine Menge an -Ausdrücken (über einem Symbolalphabet ) Beispiele enthält, wenn es für jeden Ausdruck der Form einen -Term derart gibt, dass

zu gehört.