シーケンス図の「state invariant（状態不変式）」の記法として正しいものはどれか。

状態不変式は、ライフライン上に配置されるシンボルで、角丸長方形の中に状態名を書くか、波括弧 { } で式を書くことで、その時点でその状態であることを制約する。