Habe gerade die Unterlagen nicht zur Hand, deshalb nur grob aus dem Gedächtnis:
bei beiden Definitionen geht es darum zu zeigen, dass Invarianten mit jeweils einer bestimmten Eigenschaft existieren (siehe Definition Lösung). Wenn du schon Invarianten kennst, dann kannst du diese addieren und bekommst daraus wieder Invarianten.
Um konservativ/konsistent zu zeigen gehst du eigentlich immer so vor, dass du dir die (minimalen) Invarianten anschaust, die du kennst und diese dann versuchst so zu kombinieren, dass das Ergebnis die Bedingung der Definition erfüllt.
Hoffe die Erklärung reicht so, ansonsten bin ich Dienstag in der Uni, dann könnten wir das so mal durchsprechen =)
try {MessageBox.Show(message);} catch(Exception e) {MessageBox.Show(e.Message);}