Uma invariante de classe é uma condição que define todos os estados válidos para um objeto. É uma condição lógica para garantir o correto funcionamento de uma classe. As invariantes de classe devem ser mantidas quando um objeto é criado e devem ser preservadas em todas as operações da classe. Em particular, todas as invariantes de classe são pré-condições e pós-condições para todas as operações ou funções-membro da classe. (Continua na próxima pergunta ...).