O que é um invariante?
A palavra parece se acostumar em vários contextos. O melhor que consigo entender é que eles significam uma variável que não pode mudar. Não é para isso que servem constantes / finais (maldito seja