Prädikat

Kontext-Objekt

Muss (sollte) unveränderlich sein, weil sonst nach einer Änderung das Constraint eventuell nicht mehr eingehalten wird.
Anfang weiter