Diese ''Invarianten'' definieren Annahmen, die ein Objekt einer Klasse immer dann erfüllen muß, wenn ein Nutzer von außen auf dieses Objekt zugreifen kann.<ref>[http://swt.cs.tu-berlin.de/lehre/oose/intro/node28.html TU Berlin, gelesen 11/2012]</ref>
''[[Informatik]]:'' Bedingung, die nicht verletzt werden darf