不変条件
契約による設計における概念の一つ。
Eiffelにおいては、Invariantによって表現される