Invariant

An Invariant is a Constraint that must hold at every observable stable point while a subject is valid. It may apply to an Object, a Type, or a structure composed of multiple elements.

SimpleModeling treats an Invariant as a domain or structural validity condition preserved before and after Operation execution. It distinguishes temporary internal processing states from contractually observable stable points.