¿Qué es un invariante?
La palabra parece usarse en varios contextos. Lo mejor que puedo entender es que significan una variable que no puede cambiar. ¿No es eso para lo que son las constantes / finales (maldita sea