アクターがユースケースの実行を完了した後に得られる最終的な状態を示すプロパティはどれか。

事後条件は、ユースケースの全ステップが正常に終了した際に保証されるシステムの状況である。