El Invariante de representación es el conjunto de estados del monitor que lo hacen correcto.