------------------------------------------------------------------------

Konsistenz der Invarianten (Consistency)
- die Invarianten sind widerspruchsfrei

exists ObjDia [ i1 & i2 & i3 ]

------------------------------------------------------------------------

Unabhaengigkeit der Invarianten (Independence)
- jede Invariante ist notwendig

~ forAll ObjDia [ i2 & i3 => i1 ]

~ forAll ObjDia [ ~ ( i2 & i3 ) | i1 ]

exists ObjDia [ ~ ( ~ ( i2 & i3 ) | i1 ) ]

exists ObjDia [ i2 & i3 & ~ i1 ]

------------------------------------------------------------------------