Invariant

Uma condição ou propriedade que é sempre verdadeira em um determinado ponto da execução de um programa. Os invariantes são úteis para raciocinar sobre a correção do programa.