Semiinvariant je charakteristika objektu, který se za daných transformací monotónně mění v určitém specifickém smyslu. Například numerický semi-invariant obvykle neklesá ani neroste. Obvykle se semi-invariant používá při dokazování, že aplikace daného algoritmu vede k určitému stavu.