invariant
condition that can be relied upon to be true during execution of a program, or during some portion of it
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous