engl.: invariant
Invarianten beschreiben Eigenschaften der Objekte oder der Beziehungen zwischen den Objekten, die im Wesentlichen zu allen Ausführungszeitpunkten gelten.
