OCL(Object Constraint Language)において、不変条件(Invariant)を指定するためのキーワードはどれか。

invは不変条件を表し、クラスのインスタンスが常に満たすべき条件を記述する。