Можете объяснить, что подразумевается под invariants в контексте классов?