OCL式「context Person inv: self.age >= 18」の意味として正しいものはどれか。

inv(不変条件)は、システムの状態に関わらず常に真でなければならない条件を定義する。