Un invariante es una condición o propiedad que se mantiene cierta en ciertos puntos del programa.