invariant

condition that can be relied upon to be true during execution of a program, or during some portion of it

en-GB/ɪnˈvɛəɹɪənt/
en-US/ˌɪnˈvɛɹiənt/

Categorias:

predicate