Definitsioon: operatsiooni vältel muutumatuna püsiv predikaat
Mõiste: silmusinvariant
Ülemmõiste: predikaat