Hüperonüümid:
predikaat 2(n)
invariant 1(n)

operatsiooni vältel muutumatuna püsiv predikaat

Hüponüümid:
silmusinvariant 1(n)