En klasseinvariant udtrykker egenskaber af et objekt, som er uforanderlige i forhold til en række påvirkninger af objektet