xRLy muss nicht weiter definiert werden. x ist ein beliebiges wort aus L(x), y ist ein beliebiges wort aus L(y). RL ist eine beliebige relation.
wenn x und y durch RL in verbindung stehen (xRLy), dann gilt L(x)=L(y)
aufgabe ist zu zeigen dass das stimmt, anhand des ersten satzes. wie man das macht weiß ich leider nicht, versuchs grad selber rauszufinden :(
