Sei und . Dann ist aus direkt Ableitbar, wenn es eine Regel und gibt, so dass

Formal: .

Einfach gesagt

“Irgendwas links <u> Irgendwas rechts” kann abgeleitet werden nach “Irgendwas links <v> Irgendwas rechts”