Stellt eine semantische Beziehung zwischen Modellelementen dar, die Bedingungen festlegt, die als wahr beizubehalten sind. ...