Verallgemeinerte Werteverlaufsgleichheit

Werteverlaufsgleichheit bezüglich 0 (''streng'')

Werteverlaufsgleichheit bezüglich (''verallgemeinert'')

d.h. mit

 und 

Verallgemeinerte Umformungsregeln
mit gilt:

Verallgemeinerte X-Partitionierung



nicht determiniert
mit

Beispiel verallgemeinerte Werteverlaufsgleichheit zweier Ausdrücke