besonderer Term in einer Iterationsvorschrift, der die Einhaltung einer bestimmten Eigenschaft gewährleisten soll.

Gerät die Iteration in Konflikt mit dieser Eigenschaft, so steigt der Absolutwert dieses Terms stark an (als „Strafe“) und zwingt die Iteration zum Ausweichen in Richtung der Einhaltung der gewünschten Eigenschaft.