シーケンス図において、ある時点でのオブジェクトの状態が特定の条件を満たしていることを示す制約はどれか。

State Invariantはライフライン上の特定の点での状態条件を定義する。