不変条件

外部に公開しているすべての操作の開始時と終了時に保証されるべき、オブジェクト毎に共通した性質