22.14. Definíció (Megoldás invariáns mellett). Azt mondjuk, hogy az program megoldja az feladatot (. def.) a invariáns tulajdonság mellett, ha , hogy és az program mellett megfelel a -ban adott , , , , , alakú specifikációs feltételek mindegyikének a kezdeti feltételek mellett.
22.14. Definíció (Megoldás invariáns mellett).
Azt mondjuk, hogy az program megoldja az feladatot (. def.) a invariáns tulajdonság mellett, ha , hogy és az program mellett megfelel a -ban adott , , , , , alakú specifikációs feltételek mindegyikének a kezdeti feltételek mellett.
invariáns tulajdonság mellett
invariáns mellett).
program megoldja az 
feladatot
invariáns tulajdonság mellett, ha 
, hogy 
és az 
program 
mellett megfelel a 
-ban adott 
, 
, 
, 
, 
, 
alakú specifikációs feltételek
kezdeti feltételek mellett.