Domanda di colloquio di Argela

What is the class invariant?