Aja was soll das bitte heißen? bisher war das doch immer so das z.B. {A| A->w} aber hier taucht kein X' auf der rechten seite auf.

Das soll heissen: Wenn V_N ein Symbol X enthält, dann enthält V'_N ein neues Symbol X'.

weiß zwar nicht worum es geht, aber die Schreibweise sollte doch geläufig sein,
Beispiel:
ungerade Zahlen = {2*n+1 | n e N}
also {n' | n e N} wenn nur das n' hinreichend schlau definiert ist (n' = 2*n+1)

weiß zwar nicht worum es geht,

F2-Skript, 4.19