text: Daraus folgt, dass bereits die Anzahl dieser Äquivalenzklassen unendlich ist und – da die Anzahl aller Äquivalenzklassen von nochmals größer ist – damit auch der Index der Nerode-Relation bezüglich unendlich ist.