Könnte man auch bei der (iii) Regel folgendes alternativ schreiben?

\forall i >= 0 uv^{i}w \subseteq R

[img]http://mokrates.de/cgi-bin/texstring?%5Cforall%20i%20%5Cge%200%3A%20uv%5E%7Bi%7Dw%20%5Cin%20R[/img] könnte man schreiben.

[img]http://mokrates.de/cgi-bin/texstring?%5Csubseteq[/img] ist hier falsch, da [img]http://mokrates.de/cgi-bin/texstring?uv%5Eiw[/img] keine Menge, sondern ein Wort ist!