C++を覚えるにあたりAccelerated C++を購入し読んでいるのですが、P.20で出てくる『不変量の表明（不変な表明）』という用語があるのですが、これってどういう意味でしょう？
読んでても、よくわからないのですが...